O
Oded Maler
7 works on record
Works

Hybrid systems

Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 Proceedings

Hybrid and Real-Time Systems
Computer Aided Verification
Computer Aided Verification
2009
Hybrid Systems : Computation and Control
Hybrid Systems : Computation and Control
2003
Hybrid Systems Biology
Hybrid Systems Biology
Verification and Synthesis of Hybrid Systems
Verification and Synthesis of Hybrid Systems