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
Verification methods for the divergent runs of clock systems
T.A. Henzinger, P. Kopke, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 351–372.
View
| DOI
| Download None (ext.)
T.A. Henzinger, P. Kopke, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 351–372.
1994 |
Published |
Journal Article |
IST-REx-ID: 4501 |
Temporal proof methodologies for timed transition systems
T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.
View
| DOI
| Download None (ext.)
T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.
1994 |
Published |
Journal Article |
IST-REx-ID: 4503
Symbolic model checking for real-time systems
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Information and Computation 111 (1994) 193–244.
View
| DOI
| Download None (ext.)
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Information and Computation 111 (1994) 193–244.