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


1999 | Conference Paper | IST-REx-ID: 4485
T. A. Henzinger, B. Horowitz, and R. Majumdar, “Rectangular hybrid games,” in Proceedings of the 10th International Conference on Concurrency Theory, Eindhoven, The Netherlands, 1999, vol. 1664, pp. 320–335.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4602
R. Alur, L. De Alfaro, T. A. Henzinger, and F. Mang, “Automating modular verification,” in Proceedings of the 10th International Conference on Concurrency Theory, Eindhoven, The Netherlands, 1999, vol. 1664, pp. 82–97.
View | DOI
 

Filters and Search Terms

isbn=9783540664253

Search

Filter Publications

    • Display / Sort

    Citation Style: IEEE

    Export / Embed