Verification of systems and circuits using LOTOS, Petri Nets, and CCS - Yoeli, Michael 1917-; Kol, Rakefet (Hoboken, N.J. Wiley-Interscience, 2008)
Prof. Joy Alinda Reyes-Madamba (recommending faculty)
Keywords: Integrated circuits -- Verification; Computer software -- Verification; LOTOS (Computer program language); Petri nets