Format:
XI, 398 S.
ISBN:
3540001166
Series Statement:
Lecture notes in computer science 2517
Note:
Literaturangaben
Language:
English
Subjects:
Computer Science
Keywords:
CAD
;
Formale Methode
;
CAD
;
Model Checking
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0817/2002036593-d.html
Author information:
Aagaard, Mark 1966-