*Result*: Computer aided verification
*Title*:
Computer aided verification : proceedings / Fourth International Workshop CAV '92, Montreal, Canada, June 29 - July 1, 1992. G. v. Bochmann ... (eds.)
*Author/editor-in-chief*:
*Corporate*:
*Publication*:
Berlin : Springer, 1993
*Physical description scale*:
IX, 422 Seiten : Diagramme
*Format*:
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; 663
*show_all_volumes*
*show_all_volumes*
*Notes*:
Literaturangaben
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
3540564969 ; 0387564969