Ganai, Malay K <br/><br/>
SAT-Based Scalable Formal Verification Solutions [electronic resource]   
by Malay K Ganai and Aarti Gupta 
 - Boston  Springer  2007 
<br/><br/> http://dx.doi.org/10.1007/978-0-387-69167-1 
<br/><br/><label>ISBN: </label>9780387691671 
<br/><br/><label>Dewey Class. No.: </label>620.00420285  / (e-book)