"Hybrid Systems: Computation and Control, 12th International Conference, ..."

Rupak Majumdar, Paulo Tabuada (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics