Result: Computer Aided Verification

*Title*:

Computer Aided Verification : 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings / edited by Kim G. Larsen, Arne Skou

*Author/editor-in-chief*:

*Publication*:

Berlin, Heidelberg : Springer-Verlag, 1992

*Physical description scale*:

... Seiten

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 575
*show_all_volumes*

*Other edition entry*:

Elektronische Reproduktion von: Larsen, Kim G. Computer Aided Verification. - Berlin, Heidelberg : Springer-Verlag, 1992

*RVK-Notation*:

*Subject Added Keywords*:

*Reproduction note*:

Online-Ausgabe: Berlin : Springer, 2011. - 1 Online-Ressource. - (SpringerLink: Springer e-Books)

*ISBN*:

9783540467632 ; 3540467637 ; 9783540551799 (Sekundärausgabe) ; 3540551794 (Sekundärausgabe)

*DOI*:

10.1007/3-540-55179-4

*Result*: Computer Aided Verification