MPG.eBooks - Author Search Results

Cover Image

1

Hybrid and Real-Time Systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings

by Maler, Oded
Published 1997

Springer Berlin Heidelberg

Cover Image

2

Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings

by Maler, Oded
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

3

Hybrid and Real-Time Systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

Other Authors: “...Maler, Oded...”

Cover Image

4

Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Maler, Oded...”

Cover Image

5

Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Maler, Oded...”

Cover Image

6

Hybrid Systems Biology : Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014,...

Published 2015

Springer International Publishing

Other Authors: “...Maler, Oded...”