Treffer: Model checking software

Titel:

Model checking software : proceedings / 14th International SPIN Workshop, Berlin, Germany, July 1 - 3, 2007. Dragan Bošnački ... (ed.)

Verantwortlich:

Bošnački, Dragan

Körperschaft:

Veröffentlicht:

Berlin : Springer, 2007

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

RVK-Notation:

Schlagworte:

ISBN:

9783540733690

DOI:

10.1007/978-3-540-73370-6

Zusatz-Informationen