Hybrid Systems: Computation and Control : 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings /

Lignende værker

• Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /
  af: Oded Maler, Amir Pnueli
  Udgivet: (2003, c2003)
• Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings /
  af: Maria Domenica Benedetto, Alberto Sangiovanni-Vincentelli
  Udgivet: (2001, c2001)
• Hybrid Systems: Computation and Control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings /
  af: Thomas A. Henzinger, Shankar Sastry
  Udgivet: (1998, c1998)
• Hybrid Systems: Computation and Control : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /
  af: Magnus Egerstedt, Bud Mishra
  Udgivet: (2008, c2008)
• Hybrid Systems: Computation and Control : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings /
  af: Claire J. Tomlin, Mark R. Greenstreet
  Udgivet: (2002, c2002)