Format:
XVIII, 318 S. :
,
graph. Darst.
ISBN:
978-3-319-23403-8
Series Statement:
Lecture notes in computer science 9232
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-3-319-23404-5
Language:
English
Keywords:
Model Checking
;
Programmverifikation
;
Konferenzschrift
;
Konferenzschrift
Author information:
Fischer, Bernd.