*Result*: Computer aided verification
*Title*:
Computer aided verification : 10th international conference ; proceedings / CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998. Alan J. Hu ; Moshe Y. Yardi (ed.)
*Author/editor-in-chief*:
*Corporate*:
*Publication*:
Berlin : Springer, 1998
*Physical description scale*:
IX, 552 Seiten : Diagramme ; 24 cm
*Format*:
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; Vol. 1427
*show_all_volumes*
*show_all_volumes*
*Notes*:
Literaturangaben
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
3540646086