Options
Fast verification algorithms in Matlab
Publikationstyp
Book part
Date Issued
2001
Sprache
English
Author(s)
Institut
TORE-URI
Start Page
209
End Page
226
Citation
Symbolic Algebraic Methods and Verification Methods: 209–226 (2001)
Publisher DOI
Publisher
Springer
DDC Class
004: Informatik
510: Mathematik