👤

Michael Yoeli

b. 1917 ยท 1 book

Books by Michael Yoeli

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
2008