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

 - 
 - New Jersey  John Wiley & Sons  2008 
 - xv,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