TY  - BOOK
AU  - YOELI , MICHAEL
AU  - KOL , RAKEFET
TI  - VERIFICATION OF SYSTEMS AND CIRCUITS: USING LOTOS PETRINETS AND CCS
PY  - 2008///
CY  - LONDON
PB  - JHON WILEY AND SONS
KW  -  VERIFICATION OF SYSTEMS AND CIRCUITS
KW  - ELECTRONICS AND COMMUNICATION ENGINEERING
ER  -