Format:
X, 311 S. : graph. Darst.
ISBN:
3-540-42124-6
Series Statement:
Lecture notes in computer science 2057
Language:
English
Subjects:
Computer Science
Keywords:
Model Checking
;
Programmanalyse
;
Model Checking
;
Konferenzschrift
;
Konferenzschrift
Author information:
Dwyer, Matthew 1963-