TY  - BOOK
AU  - Yoeli
TI  - Verification of Systems and Circuits Using Lotos, Petri Nets, and Ccs
SN  - 9780471704492
U1  - 005.1 
PY  - 2008///
PB  - Wiley
KW  - Electrical Engg. & Electronics
ER  -