Drechsler, Rolf. , <br/><br/>
Formal verification of circuits / 
Rolf Drechsler. 
 - x, 179 pages :  illustrations ;  24 cm. 
<br/><br/><label>ISBN: </label>079237858X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic circuits --Testing.<br/>Decision trees.
<br/><br/><label>LC Class. No.: </label>TK7867   / .D73 2000