Hardcover Book Paperback Book
Montrer les articles indisponibles

Communiqués par Oded Maler

5 mars 1997 – 1 juin 2006

Cover for Oded Maler · Verification and Synthesis of Hybrid Systems (Control Engineering) (Hardcover Book) (2006)

Verification and Synthesis of Hy... (2006)

Cover for Oded Maler · Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2003 edition] (2003)

Hybrid Systems: Computation and ... (2003)

Cover for Oded Maler · Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings - Lecture Notes in Computer Science (Paperback Book) [1997 edition] (1997)

Hybrid and Real-Time Systems: In... (1997)