"Hybrid Systems: Computation and Control, First International Workshop, ..."

Thomas A. Henzinger, Shankar Sastry (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics