Treffer: Model checking software

Titel:

Model checking software : proceedings / 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Antti Valmari (ed.)

Verantwortlich:

Valmari, Antti

Körperschaft:

Veröffentlicht:

Berlin : Springer, 2006

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

RVK-Notation:

Schlagworte:

DOI:

10.1007/11691617

Zusatz-Informationen