Fromtimedtohybrid systems (1992)

by O Maler, Z Manna, A Pnueli
Venue:Real Time: Theory in Practice, Lecture Notes in Computer Science 600