Format:
1 Online-Ressource (X, 305 S.)
,
graph. Darst.
,
24 cm
ISBN:
3540331026
,
9783540331025
Series Statement:
Lecture notes in computer science 3925
Note:
Literaturangaben
Language:
English
Keywords:
Model Checking
;
Programmverifikation
;
Model Checking
;
Konferenzschrift