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.

5761 Publications


1994 | Conference Paper | IST-REx-ID: 4440
Henzinger TA, Kopke P. 1994. Verification methods for the divergent runs of clock systems. FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, vol. 863. 351–372.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4501
Henzinger TA, Manna Z, Pnueli A. 1994. Temporal proof methodologies for timed transition systems. Information and Computation. 112(2), 273–337.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4503
Henzinger TA, Nicollin X, Sifakis J, Yovine S. 1994. Symbolic model checking for real-time systems. Information and Computation. 111(2), 193–244.
View | DOI | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4586
Alur R, Henzinger TA. 1994. Finitary fairness. LICS: Logic in Computer Science 52–61.
View | DOI
 

1994 | Book Chapter | IST-REx-ID: 4590
Alur R, Henzinger TA. 1994. Real-time system = discrete system + clock variables. Theories and Experiences for Real-Time System Development. , AMAST Series in Computing, vol. 2. 1–29.
View | Download (ext.)
 

Search

Filter Publications