Home / Authors / Michael Yoeli, Rakefet Kol

Books by Michael Yoeli, Rakefet Kol

All books by this author

1 book found ← Back to Search
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)
🇺🇸 United States
Verification of Systems and Circuits Using LOTOS, Petri Net…
By: Michael Yoeli, Rakefet Kol
View Details