Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2 Publications
1997 | Conference Paper | IST-REx-ID: 4438
Henzinger TA, Kupferman O. From quantity to quality. In: Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems. Vol 1201. Springer; 1997:48-62. doi:10.1007/BFb0014712
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4520
Gupta V, Henzinger TA, Jagadeesan R. Robust timed automata. In: Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems. Vol 1201. Springer; 1997:331-345. doi:10.1007/BFb0014736
View
| DOI