Robert B Jones <br/><br/>
Symbolic Simulation Methods for Industrial formal Verification 

 - Boston  Kluwer  2002 
<br/><br/><label>ISBN: </label>0000072159 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Industrial <br/> Methods <br/> Simulation <br/> Symbolic <br/> Verification<br/>Computer Science Engineering<br/>formal 
<br/><br/><label>Dewey Class. No.: </label>1.539