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


1998 | Conference Paper | IST-REx-ID: 4515
T. A. Henzinger, “It’s about time: Real-time logics reviewed,” in Proceedings of the 9th Interantional Conference on Concurrency Theory, Nice, France, 1998, vol. 1466, pp. 439–454.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4603
R. Alur, T. A. Henzinger, O. Kupferman, and M. Vardi, “Alternating refinement relations,” in Proceedings of the 9th Interantional Conference on Concurrency Theory, Nice, France, 1998, vol. 1466, pp. 163–178.
View | DOI
 

Filters and Search Terms

isbn=978-3-540-64896-3

Search

Filter Publications

    • Display / Sort

    Citation Style: IEEE

    Export / Embed