"Hybrid Systems III: Verification and Control, Proceedings of the ..."

Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics