Thomas A. Henzinger
Rajeev Alur and Thomas A. Henzinger.
A really temporal logic.
Journal of the ACM
, 41(1):181-204, January 1994.
References and Citations.
Rajeev Alur, Tomás Feder, and Thomas A. Henzinger.
The benefits of relaxing punctuality.
Journal of the ACM
, 43(1):116-146, January 1996.
Abstract, References, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database