YOELI, M <br/><br/>
VERIFICATION OF SYSTEMS AND CIRCUITS USING LOTOS,PETRI NETS, AND CCS 

 - HOBOKEN  Wiley  2008 
 - xv+231p.,23X15Cms 
<br/><br/><label>ISBN: </label>0471704492 
<br/><br/><label>Dewey Class. No.: </label>621.381548 Y54