Verification of systems and circuits using LOTOS, Petri Nets, and CCS - Yoeli, Michael, 1917-; Kol, Rakefet (Hoboken, N.J. : Wiley-Interscience, 2008)
Includes bibliographical references and index.
Description based on metadata supplied by the publisher and other sources.
Electronic reproduction. Santa Fe, Arg.: elibro, 2021. Available via World Wide Web. Access may be limited to eLibro affiliated libraries.
Keywords: Integrated circuits -- Verification; Computer software -- Verification; LOTOS (Computer program language); Petri nets; Electronic books