Verification of systems and circuits using LOTOS, Petri Nets, and CCS - Yoeli, Michael, 1917-; Kol, Rakefet; ebrary, Inc. (Hoboken, N.J. : Wiley-Interscience, 2008)
Includes bibliographical references and index.
Electronic reproduction.
Keywords: Integrated circuits -- Verification; Computer software -- Verification; LOTOS (Computer program language); Petri nets; Electronic books