Showing 1 - 4 results of 4 for search 'Maler, Oded', query time: 0.02s Refine Results
  1. 1
    Hybrid and Real-Time Systems International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings /
    Published 1997
    Other Authors: “…Maler, Oded…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
    Published 2009
    Other Authors: “…Maler, Oded…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /
    Published 2003
    Other Authors: “…Maler, Oded…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    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, Revised Selected Papers /
    Published 2015
    Other Authors: “…Maler, Oded…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search