From timed to hybrid systems (0)

by O Maler, Z Manna, A Pnueli
Venue:In Proceedings of the REX workshop “Real-Time: Theory in practice”, LNCS