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 |
Published |
Conference Paper |
IST-REx-ID: 4440
Henzinger, T. A., & Kopke, P. (1994). Verification methods for the divergent runs of clock systems. In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (Vol. 863, pp. 351–372). Lübeck, Gernany: Springer. https://doi.org/10.1007/3-540-58468-4_173
View
| DOI
| Download None (ext.)
1994 |
Published |
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
| Download None (ext.)
1994 |
Published |
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.)