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.
43 Publications
1994 | Journal Article | IST-REx-ID: 4503
Henzinger, T. A., Nicollin, X., Sifakis, J., & Yovine, S. (1994). Symbolic model checking for real-time systems. Information and Computation. Elsevier. https://doi.org/10.1006/inco.1994.1045
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4586
Alur, R., & Henzinger, T. A. (1994). Finitary fairness. In Proceedings 9th Annual IEEE Symposium on Logic in Computer Science (pp. 52–61). Paris, France: IEEE. https://doi.org/10.1109/LICS.1994.316087
View
| DOI
| Download None (ext.)
1994 | Book Chapter | IST-REx-ID: 4590
Alur, R., & Henzinger, T. A. (1994). Real-time system = discrete system + clock variables. In T. Rus & C. Rattray (Eds.), Theories and Experiences for Real-Time System Development (Vol. 2, pp. 1–29). World Scientific Publishing. https://doi.org/10.1142/9789812831583_0001
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4591
Alur, R., & Henzinger, T. A. (1994). A really temporal logic. Journal of the ACM. ACM. https://doi.org/10.1145/174644.174651
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4614
Alur, R., Courcoubetis, C., & Henzinger, T. A. (1994). The observational power of clocks. In 5th International Conference on Concurrency Theory (Vol. 836, pp. 162–177). Uppsala, Sweden: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0015008
View
| DOI
| Download None (ext.)