TY  - BOOK
AU  - Emerson E.Allen
AU  - Sistla,A Prasad
TI  - Computer aided verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 Proceedings 
SN  - 354067704
U1  - 004.24 22
PY  - 2000///
CY  - New York
PB  - Springer
KW  - Computer Aided Verification
N1  - Include index.
ER  -