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

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