Читать онлайн книгу «Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS» автора Michael Yoeli