Jones, Robert B., <br/><br/>
Symbolic Simulation Methods for Industrial Formal Verification : 

 -  Springer Science & Business Media,  2002. 
 - 180 pages 
<br/><br/><label>ISBN: </label>9781402071034 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computers.
<br/><br/><label>Dewey Class. No.: </label>621.395  / JON