TY  - BOOK
AU  - Ganai, Malay K
AU  - Gupta, Aarti.
TI  - SAT-Based Scalable Formal Verification Solutions [electronic resource]
SN  - 9780387691671
U1  - 620.00420285 
PY  - 2007///
CY  - Boston
PB  - Springer
N1  - http://dx.doi.org/10.1007/978-0-387-69167-1
ER  -