Yoeli, Michael,  1917- <br/><br/>
Verification of systems and circuits using LOTOS, Petri Nets, and CCS / 
by Michael Yoeli and Rakefet Kol. 
 - Hoboken, N.J. :  Wiley-Interscience,  c2008. 
 - xv, 231 p. :  ill. ;  25 cm. 
 - Wiley series on parallel and distributed computing .
<br/><br/> Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>0471704490 (cloth) 9780471704492 (cloth) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Verification.<br/>Computer software--Verification.<br/>LOTOS (Computer program language)<br/>Petri nets.