Please note that IST 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.

6306 Publications


1994 | Journal Article | IST-REx-ID: 4501
Henzinger, T. A., Manna, Z., & Pnueli, A. (1994). Temporal proof methodologies for timed transition systems. Information and Computation. Elsevier. https://doi.org/10.1006/inco.1994.1060
View | DOI
 

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 (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4586
Alur, R., & Henzinger, T. A. (1994). Finitary fairness (pp. 52–61). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.1994.316087
View | DOI
 

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.
View | Download (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 (ext.)
 

Search

Filter Publications