Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Yoeli, Michael, 1917-
Verification of systems and circuits using LOTOS, Petri Nets, and CCS [electronic resource] / by Michael Yoeli and Rakefet Kol. - Hoboken, N.J. : Wiley-Interscience, c2008. - xv, 231 p. : ill. - Wiley series on parallel and distributed computing . - Wiley series on parallel and distributed computing. .
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
GBA806238 bnb
Uk
Integrated circuits--Verification.
Computer software--Verification.
LOTOS (Computer program language)
Petri nets.
Electronic books.
TK7874.58 / .Y64 2008eb
621.3815/48
Verification of systems and circuits using LOTOS, Petri Nets, and CCS [electronic resource] / by Michael Yoeli and Rakefet Kol. - Hoboken, N.J. : Wiley-Interscience, c2008. - xv, 231 p. : ill. - Wiley series on parallel and distributed computing . - Wiley series on parallel and distributed computing. .
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
GBA806238 bnb
Uk
Integrated circuits--Verification.
Computer software--Verification.
LOTOS (Computer program language)
Petri nets.
Electronic books.
TK7874.58 / .Y64 2008eb
621.3815/48