Result: Model checking software

*Title*:

Model checking software : proceedings / 9th International SPIN Workshop, Grenoble, France, April 11 - 13, 2002. Dragan Bos̆nac̆ki ; Stefan Leue (ed.)

*Author/editor-in-chief*:

*Corporate*:

*Publication*:

Berlin : Springer, 2002

*Physical description scale*:

X, 257 Seiten : Diagramme ; 24 cm

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; Vol. 2318
*show_all_volumes*

*Notes*:

Literaturangaben

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540434771

*Result*: Model checking software