TY  - BOOK
AU  - Yoeli,Michael
AU  - Kol,Rakefet
TI  - Verification of systems and circuits using LOTOS, Petri Nets, and CCS
SN  - 0471704490 (cloth)
PY  - 2008///
CY  - Hoboken, N.J.
PB  - Wiley-Interscience
KW  - Integrated circuits
KW  - Verification
KW  - Computer software
KW  - LOTOS (Computer program language)
KW  - Petri nets
N1  - Includes bibliographical references and index
UR  - http://www.loc.gov/catdir/enhancements/fy0826/2007033487-t.html
UR  - http://www.loc.gov/catdir/enhancements/fy0809/2007033487-b.html
ER  -