Result: Model Checking Software

*Title*:

Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings / edited by Dragan Bošnački, Stefan Leue

*Author/editor-in-chief*:

*Publication*:

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002

*Physical description scale*:

... Seiten

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 2318
*show_all_volumes*

*Other edition entry*:

Elektronische Reproduktion von: Bošnački, Dragan. Model Checking Software. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002

*RVK-Notation*:

*Subject Added Keywords*:

*Reproduction note*:

Online-Ausgabe: Berlin : Springer, 2011. - 1 Online-Ressource. - (SpringerLink: Springer e-Books)

*ISBN*:

9783540460176 ; 3540460179 ; 9783540434771 (Sekundärausgabe) ; 3540434771 (Sekundärausgabe)

*DOI*:

10.1007/3-540-46017-9

*Result*: Model Checking Software