Michael Yoeli profile picture

Michael Yoeli

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Formal verification of hardware design
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Verification of Systems and Circuits Using Lotos, Petri Nets, and CCS