Search Results       Your search for [author]Kol, Rakefet. returned 1 record.           Verification of systems and circuits using LOTOS, Petri Nets, and CCS. by Yoeli, Michael, 1917-; Hoboken, N.J.: Wiley-Interscience, 2008. Subject: Integrated circuits -- Verification; Computer software -- Verification; LOTOS (Computer program language); Petri nets.          Add to Book Cart Relevance: 18.23%