Format:
XI, 540 S. : graph. Darst. : 24 cm.
ISBN:
3-540-21377-5
Series Statement:
Lecture notes in computer science 2999
Language:
English
Subjects:
Computer Science
Keywords:
Systementwicklung
;
Formale Methode
;
Model Checking
;
Formale Methode
;
Systementwicklung
;
Formale Spezifikationstechnik
;
Verifikation
;
Formale Methode
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/toc/fy0606/2004102974.html
URL:
http://www.loc.gov/catdir/enhancements/fy0818/2004102974-d.html