UID:
kobvindex_ZLB13670306
Format:
X, 307 Seiten
,
graph. Darst.
ISBN:
3540213147
Series Statement:
Lecture notes in computer science 2989
Note:
Literaturangaben
,
Text engl.
Language:
English
Keywords:
Model Checking
;
Kongress
;
Barcelona 〈2004〉
;
Programmverifikation
;
Model Checking
;
Kongress
;
Barcelona 〈2004〉
;
Kongress
;
Konferenzschrift
Bookmarklink