Hybrid Systems BiologyOded Maler, Ádám Halász, Thao Dang, Carla Piazza · First published 2015Open the Tome
Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 ProceedingsOded Maler · First published 2009Open the Tome
Verification and Synthesis of Hybrid SystemsEugine Asarin, Thao Dang, Oded Maler · First published 2006Open the Tome
Hybrid Systems : Computation and ControlFreek Wiedijk, Oded Maler, Amir Pnueli · First published 2003Open the Tome
