Oded Maler
Oded Maler
4 books in the database
Books
Hybrid systemsOded Maler
Hybrid systems
Oded Maler · 2003
Hybrid and Real-Time SystemsOded Maler
Hybrid and Real-Time Systems
Oded Maler · 1997
Hybrid Systems BiologyOded Maler
Hybrid Systems Biology
Oded Maler · 2016
Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 ProceedingsOded Maler
Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 Proceedings
Oded Maler · 2009
Co-authored books and collections
Books that list Oded Maler among their authors but not as the lead author: co-written works, collections and compilations.
Computer Aided VerificationAhmed Bouajjani
Computer Aided Verification
Ahmed Bouajjani · 2009
Verification and Synthesis of Hybrid SystemsEugine Asarin
Verification and Synthesis of Hybrid Systems
Eugine Asarin · 2006
Hybrid Systems : Computation and ControlFreek Wiedijk
Hybrid Systems : Computation and Control
Freek Wiedijk · 2003