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

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS