TY  - BOOK
AU  - Ganai, Malay
AU  - Gupta, Aarti
TI  - Sat-Based Scalable Format Verification Solutions
SN  - 0387691669
U1  - 511.8 GAN 
PY  - 2007///
CY  - New York
PB  - Springer
N1  - Table of Contents
1. Design Verificatio
ER  -