Yoeli, Michael,  1917- <br/><br/>
Verification of systems and circuits using LOTOS, Petri Nets, and CCS  [electronic resource] / 
by Michael Yoeli and Rakefet Kol. 
 - Hoboken, N.J. :  Wiley-Interscience,  c2008. 
 - xv, 231 p. :  ill. 
 - Wiley series on parallel and distributed computing .
 - Wiley series on parallel and distributed computing. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><br/>Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 
<br/><br/><label>ISBN: </label>
<br/><br/><label>LCCN: </label>
<br/><br/><label>Nat. Bib. No.: </label>GBA806238  bnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label> Uk 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Verification.<br/>Computer software--Verification.<br/>LOTOS (Computer program language)<br/>Petri nets.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>TK7874.58  / .Y64 2008 
<br/><br/><label>Dewey Class. No.: </label>621.3815/48