Oded MalerBooksComputer Aided VerificationVerification and Synthesis of Hybrid SystemsHybrid Systems : Computation and ControlComputer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 ProceedingsHybrid Systems BiologyHybrid and Real-Time SystemsHybrid systemsAuthor data: Open Library
