TY  - BOOK
AU  - Alur, Rajeev
AU  - Peled, Doron A Eds.,
TI  - Computer Aided Verification: 16th international conference, CAV 2004 Boston, MA, USA, July 13-17, 2004: proceedings
SN  - 3540223428
CY  - Berlin
ER  -