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

 - HOBOKEN  Wiley  2008 
 - xv+231p.,25x12Cms. 
<br/><br/><label>ISBN: </label>0471704492 
<br/><br/><label>Dewey Class. No.: </label>621.3819642 Y54