Result: Model Checking Software

*Title*:

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings / edited by Susanne Graf, Laurent Mounier

*Author/editor-in-chief*:

*Publication*:

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2004

*Physical description scale*:

... Seiten

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 2989
*show_all_volumes*

*Other edition entry*:

Elektronische Reproduktion von: Graf, Susanne, 1958-. Model Checking Software. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2004

*RVK-Notation*:

*Subject Added Keywords*:

*Reproduction note*:

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

*ISBN*:

9783540247326 ; 3540247327 ; 9783540213147 (Sekundärausgabe) ; 3540213147 (Sekundärausgabe)

*DOI*:

10.1007/b96721

*Result*: Model Checking Software