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.

6032 Publications


1994 | Conference Paper | IST-REx-ID: 4420
Kapur A, Henzinger TA, Manna Z, Pnueli A. Proving safety properties of hybrid systems. In: Vol 863. Springer; 1994:431-454. doi:10.1007/3-540-58468-4_177
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4440
Henzinger TA, Kopke P. Verification methods for the divergent runs of clock systems. In: Vol 863. Springer; 1994:351-372. doi:10.1007/3-540-58468-4_173
View | DOI
 

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

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

1994 | Conference Paper | IST-REx-ID: 4586
Alur R, Henzinger TA. Finitary fairness. In: IEEE; 1994:52-61. doi:10.1109/LICS.1994.316087
View | DOI
 

Search

Filter Publications