Yoeli, Michael <br/><br/>
Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS 

 - 
 - New Jersey  John Wiley & Sons  2008 
 - xvi,231p   
<br/><br/>   
<br/><br/><label>ISBN: </label>9780471704492 
<br/><br/><label>ISSN: </label>
<br/><br/><label>Subjects--Index Terms: </label>Integrated circuits - Verification  Computer software - Verification  LOTOS (computer programmes language)  Petri nets 
<br/><br/><label>Dewey Class. No.: </label>621.3.049.77