Result: Computer aided verification

*Title*:

Computer aided verification : 13th international conference ; proceedings / CAV 2001, Paris, France, July 18 - 22, 2001. Gérard Berry ... (ed.)

*Author/editor-in-chief*:

*Corporate*:

*Publication*:

Berlin : Springer, 2001

*Physical description scale*:

XIII, 520 Seiten : Diagramme ; 24 cm

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

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

*Notes*:

Literaturangaben

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540423451

*Result*: Computer aided verification