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

Rajeev Alur, George J. Pappas (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics