👤

Rakefet Kol

1 book

Books by Rakefet Kol

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