Search Results       Your search for [subject]LOTOS (Computer program language) 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: 24.31%