TY  - BOOK
AU  - Wang, Chao
AU  - Hachtel, Gary
AU  - Somenzi, Fabio
TI  - Abstraction Refinement for Large Scale Model Checking
T2  - Lecture Notes in Computer Science
U1  - 003.5 
CY  - Berlin
PB  - Springer
ER  -