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 / by Michael Yoeli and Rakefet Kol. - Hoboken, N.J. : Wiley-Interscience, c2008. - xv, 231 p. : ill. ; 25 cm. - Wiley series on parallel and distributed computing .
Includes bibliographical references and index.
0471704490 (cloth) 9780471704492 (cloth)
Integrated circuits--Verification.
Computer software--Verification.
LOTOS (Computer program language)
Petri nets.
Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol. - Hoboken, N.J. : Wiley-Interscience, c2008. - xv, 231 p. : ill. ; 25 cm. - Wiley series on parallel and distributed computing .
Includes bibliographical references and index.
0471704490 (cloth) 9780471704492 (cloth)
Integrated circuits--Verification.
Computer software--Verification.
LOTOS (Computer program language)
Petri nets.