SAT-Based Scalable Formal Verification Solutions 

 -  Springer Germany  2007 
<br/><br/> Subscription to database on August 2010 
<br/><br/><label>ISBN: </label>978-0-387-23895-1 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science
<br/><br/><label>LC Class. No.: </label>كتب إلكترونية