Result: Model Checking Software

*Title*:

Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings / edited by Antti Valmari

*Author/editor-in-chief*:

*Edition*:

1st ed. 2006

*Publication*:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

*Distribution*:

Cham : Springer International Publishing AG

*Physical description scale*:

1 Online-Ressource (X, 308 Seiten)

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 3925

*Other edition entry*:

Erscheint auch als Druck-Ausgabe: Model Checking Software. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540331025

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

9783540331032 ; 3540331034 ; --354033102-6 ; --354082197-X ; 978--354033102-5 (Sekundärausgabe) ; 978--354082197-7 (Sekundärausgabe)

*DOI*:

10.1007/11691617

*Result*: Model Checking Software