Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Rupak Majumdar Paulo Tabuada Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings 5469 2009 http://dx.doi.org/10.1007/978-3-642-00602-9 978-3-642-00601-2 HSCC Lecture Notes in Computer Science Springer db/conf/hybrid/hscc2009.html