TY  - BOOK
AU  - Yoeli, Michael
AU  - 
TI  - Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS
SN  - 9780471704492
U1  - 621.3.049.77 
PY  - 2008///
CY  - New Jersey
PB  - John Wiley & Sons
KW  - Integrated circuits - Verification
KW  - Computer software - Verification
KW  - LOTOS (computer programmes language)
KW  - Petri nets
ER  -