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
T. A. Henzinger and O. Kupferman, “From quantity to quality,” in Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Grenoble, France, 1997, vol. 1201, pp. 48–62.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4520
V. Gupta, T. A. Henzinger, and R. Jagadeesan, “Robust timed automata,” in Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Grenoble, France, 1997, vol. 1201, pp. 331–345.
View | DOI
 

Filters and Search Terms

isbn=9783540626008

Search

Filter Publications

    • Display / Sort

    Citation Style: IEEE

    Export / Embed