Drechsler, Rolf <br/><br/>
Formal verification of circuits 
Rolf Drechsler 
 - Dordrecht ; Boston  Kluwer Academic Publishers  2000 
 - x, 179 p. : ill. ; 24 cm 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780792378587 
<br/><br/><label>ISSN: </label>34888 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Decision trees<br/>Electronic circuits - Testing
<br/><br/><label>Dewey Class. No.: </label>621.381548 DRE