*Result*: Computer aided verification
*Title*:
Computer aided verification : 9th international conference ; proceedings / CAV '97, Haifa, Israel, June 22 - 25, 1997. Orna Grumberg (ed.)
*Author/editor-in-chief*:
*Corporate*:
*Publication*:
Berlin : Springer, 1997
*Physical description scale*:
XI, 486 Seiten : Diagramme ; 23 cm
*Format*:
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; 1254
*show_all_volumes*
*show_all_volumes*
*Notes*:
Literaturangaben
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
3540631666