Yoeli <br/><br/>
Verification of Systems and Circuits Using Lotos, Petri Nets, and Ccs / 
Yoeli 
 - 1st edition 
 -  Wiley ,  2008 
 - 248 pages 
<br/><br/><label>ISBN: </label>9780471704492 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electrical Engg. & Electronics
<br/><br/><label>Dewey Class. No.: </label>005.1  / YOE