Statistics
Publications
4
Citations
223
H-Index
4
Active since
1990
Tom Henzinger is an author at Institute of Science and Technology Austria specializing in formal methods, computing, and computer science.
Publications per year
1990–2015
4
4
Temporal proof methodologies for real-time systems
Tom Henzinger, Zohar Manna, Amir Pnueli · 1991 · 148 citations
Half-order modal logic: how to prove real-time properties
Tom Henzinger · 1990 · 48 citations · Full text
1–4 of 4