Books by Oded Maler

Cover of Hybrid Systems Biology

Hybrid Systems Biology

by Oded Maler, Ádám Halász, Thao Dang, Carla Piazza

2015
Cover of Hybrid systems

Hybrid systems

by Oded Maler, Amir Pnueli, Freek Wiedijk

2003
Cover of Verification and Synthesis of Hybrid Systems

Verification and Synthesis of Hybrid Systems

by Eugine Asarin, Thao Dang, Oded Maler

2006
Cover of Hybrid and Real-Time Systems

Hybrid and Real-Time Systems

by Oded Maler

1997
Cover of Computer Aided Verification

Computer Aided Verification

by Ahmed Bouajjani, Oded Maler

2009

Can't find the book you're looking for? Let us know — it helps us improve.