TY  - BOOK
AU  - Yoeli, Michael 
AU  -  Kol, Rakefet
TI  - Verification of Systems and Circuits Using Lotos, Petri Nets, and Ccs
SN  - 9780471704492
U1  - 621.381548 
PY  - 2008///
CY  - New Jersey
PB  - John Wiley & Sons
KW  - Electrical Engineering
ER  -