Statistics
Publications
5
Citations
407
H-Index
5
Active since
1989
Affiliations
T. A. Henzinger is an author at Stanford University specializing in computer science, real-time systems, and temporal logic.
Publications per year
1989–2006
5
5
Rajeev Alur, T. A. Henzinger · 1989 · 162 citations · Full text
An interleaving model for real-time
T. A. Henzinger, Zohar Manna, Amir Pnueli · 2002 · 30 citations
1–5 of 5