TY  - BOOK
AU  - Emerson, E Allen. Ed.
AU  - Sistla, A Prasad. Ed.
TI  - Computer Aided Verification, Proceedings of the 12th International Conference, Chicago, 2000
SN  - 3540677704
CY  - Berlin
KW  - Computer Aided Verification
ER  -