Result: Model Checking Software

*Title*:

Model Checking Software : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings / edited by Alastair Donaldson, David Parker

*Author/editor-in-chief*:

*Edition*:

1st ed. 2012

*Publication*:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

*Distribution*:

Cham : Springer International Publishing AG

*Physical description scale*:

1 Online-Ressource (X, 261 Seiten) : 85 illus.

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

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

*Other edition entry*:

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

*Subject Added Keywords*:

*ISBN*:

9783642317590 ; 3642317596 ; 978--364231758-3 (Sekundärausgabe) ; 978--364231760-6 (Sekundärausgabe)

*DOI*:

10.1007/978-3-642-31759-0

*Result*: Model Checking Software