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.

5196 Publications


1992 | Conference Paper | IST-REx-ID: 4505
Symbolic model checking for real-time systems
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, in:, IEEE, 1992, pp. 394–406.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4517
Sooner Is Safer Than Later
T.A. Henzinger, Information Processing Letters 43 (1992) 135–141.
View | DOI | Download (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4593
Logics and models of real time: A survey
R. Alur, T.A. Henzinger, in:, Real Time: Theory in Practice, Springer, 1992, pp. 74–106.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2714
On some problems of P. Turán concerning power sums of complex numbers
L. Erdös, Acta Mathematica Hungarica 59 (1992) 11–24.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2485
Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors
S. Hori, Y. Komatsu, R. Shigemoto, N. Mizuno, S. Nakanishi, Endocrinology 130 (1992) 1885–1895.
View | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed