Yoeli, Michael  <br/><br/>
Verification of Systems and Circuits Using Lotos, Petri Nets, and Ccs 

 - New Jersey  John Wiley & Sons  2008 
 - xv, 231 p. ; 24 cm 
<br/><br/><label>ISBN: </label>9780471704492 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electrical Engineering
<br/><br/><label>Dewey Class. No.: </label>621.381548  / YOE