Format:
1 Online-Ressource (XII, 156 S.)
,
235 mm x 155 mm
ISBN:
9783540774266
Series Statement:
Monographs in Theoretical Computer Science
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-540-77425-9
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 3-540-77425-4
Language:
English
Subjects:
Computer Science
Keywords:
Verifikation
;
Model Checking
;
Temporale Logik
;
Nebenläufigkeit
;
Zustandsraumexplosion
;
Transitionssystem
;
Theoretische Informatik
DOI:
10.1007/978-3-540-77426-6
Author information:
Esparza, Javier 1964-