TY  - BOOK
AU  - Ganai, Malay. Gupta, Aarti. Chandrakasan, Anantha Series ed.
TI  - SAT-Based Scalable Formal Verification Solutions
SN  - 9780387691664
U1  - 621.381548  GAN;1  R 
PY  - 2007///
CY  - New York
PB  - Springer
ER  -