Unfoldings a partial-order approach to model checking

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Esparza, Javier (VerfasserIn)
Weitere Verfasser:	Heljanko, Keijo (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg Springer 2008
Schriftenreihe:	Monographs in theoretical computer science : an EATCS series
Schlagworte:	Computer software > Testing > Computer systems > Verification > Verifikation > Model Checking > Temporale Logik > Nebenläufigkeit > Zustandsraumexplosion > Transitionssystem
Online Zugang:	Cover Einführung/Vorwort Inhaltsverzeichnis Inhaltstext http://digitale-objekte.hbz-nrw.de/webclient/DeliveryManager?pid=2346591&custom_att_2=simple_viewer
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XII, 169 S Ill., graph. Darst 235 mm x 155 mm
ISBN:	3540774254 3-540-77425-4 9783540774259 978-3-540-77425-9