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.
25 Publications
1991 | Published | Conference Paper | IST-REx-ID: 4508
Henzinger TA, Manna Z, Pnueli A. Temporal proof methodologies for real-time systems. In: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM; 1991:353-366. doi:10.1145/99583.99629
View
| DOI
| Download None (ext.)
1991 | Published | Thesis | IST-REx-ID: 4516
Henzinger TA. The temporal specification and verification of real-time systems . 1991.
View
| Download None (ext.)
1991 | Published | Journal Article | IST-REx-ID: 4592
Alur R, Henzinger TA. Time for logic. SIGACT News. 1991;22(3):6-12.
View
| Download None (ext.)
1991 | Published | Conference Paper | IST-REx-ID: 4621
Alur R, Feder T, Henzinger TA. The benefits of relaxing punctuality. In: Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing. ACM; 1991:139-152. doi:10.1145/227595.227602
View
| DOI
| Download None (ext.)
1991 | Published | Journal Article | IST-REx-ID: 1946
Zaǐtsev S, Sazanov LA, Koshkin A, Sud’Ina G, Varfolomeev S. Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide. FEBS Letters. 1991;291(1):84-86. doi:10.1016/0014-5793(91)81109-L
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC