"Hybrid Systems: Computation and Control, 5th International Workshop, HSCC ..."

Claire Tomlin, Mark R. Greenstreet (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics