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

Oded Maler, Amir Pnueli (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics