Treffer: Partial order methods for the verification of concurrent systems

Titel:

Partial order methods for the verification of concurrent systems : an approach to the state explosion problem / Patrice Godefroid

Verantwortlich:

Godefroid, Patrice

Veröffentlicht:

Berlin [u.a.] : Springer, 1996

Umfang:

142 S. : graph. Darst.

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 1032
alle Bände anzeigen

RVK-Notation:

Schlagworte:

ISBN:

3540607617

Zusatz-Informationen