TY  - BOOK
AU  - Courcoubetis Costas
ED  - International Conference on Computer Aided Verification( 5th : 1993 : Elounda, Greece )
ED  - International Conference on Computer Aided Verification 5th
TI  - Computer-aided verification : proceedings
U1  - 5.14 
PY  - 1993///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer-aided verification
ER  -