Drechsler, Rolf <br/><br/>
Formal Verification of Circuits 
Rolf Drechsler 
 - Boston  Kluwer Academic Publishers  2000 
 - viii, 179p. 
<br/><br/><label>ISBN: </label>079237858X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic circuits --Testing.
<br/><br/><label>Dewey Class. No.: </label>621.3815 DRE