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

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