Hybrid Systems, (1993)

by R L Grossman, A Nerode, A P Ravn, H Rischel
Venue:of Lecture Notes in Computer Science.