Unfoldings A Partial-Order Approach to Model Checking

Bibliographische Detailangaben

Hauptverfasser:	Esparza, Javier 1964- (VerfasserIn), Heljanko, Keijo (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Berlin Springer 2008
Schriftenreihe:	Monographs in Theoretical Computer Science
Schlagworte:	Model Checking Transitionssystem Zustandsraumexplosion Nebenläufigkeit Temporale Logik Theoretische Informatik Verifikation
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!