Oded Maler profile picture

Oded Maler

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

Stand Alone

Hybrid systems
Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 Proceedings
Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings (Lecture Notes in Computer Science)
Verification and Synthesis of Hybrid Systems
Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers