TY  - BOOK
AU  - Courcoubetis, Costas, Ed.
TI  - Computer Aided Verification : 5th International conference, CAV,93, Elounda, Greece, June/July 1993, Proceedings
SN  - 3540569227
CY  - Berlin
KW  - Computer Aided Verification
KW  - LNCS 697
ER  -