*Result*: Computer aided verification
*Title*:
Computer aided verification : 3rd international workshop ; proceedings / CAV '91, Aalborg, Denmark, July 1 - 4, 1991. K. G. Larsen ... (eds.)
*Author/editor-in-chief*:
*Corporate*:
*Publication*:
Berlin : Springer, 1992
*Physical description scale*:
X, 487 Seiten : Diagramme
*Format*:
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; 575
*show_all_volumes*
*show_all_volumes*
*Notes*:
Literaturangaben
*Subject Added Keywords*:
*ISBN*:
3540551794 ; 0387551794