Format:
XI, 444 S. :
,
Ill., graph. Darst. ;
,
235 mm x 155 mm.
ISBN:
3-540-23738-0
Series Statement:
Lecture Notes in Computer Science 3312
Language:
English
Subjects:
Computer Science
Keywords:
CAD
;
Formale Methode
;
CAD
;
Model Checking
;
CAD
;
Verifikation
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
;
Konferenzschrift
URL:
http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3312
URL:
http://www.loc.gov/catdir/enhancements/fy0823/2004115344-d.html