TY  - BOOK
ED  -  CAV. Computer Aided Verification International Conference. ( 3 ; 1991 ; Aalborg )
TI  -  Computer Aided Verification  3rd International Workshop CAV'91, Aalborg, Denmark, July 1-4 1991  proceedings
T2  -  Lecture Notes in Computer Science (LNCS)\\Springer\
SN  -  0-387-55179-4;  3-540-55179-4
CY  -  Berlin;  Heidelberg;  New York
KW  -  lucrări conferințe
AV  -  III 13349
ER  -