Publications

2 results for Thomas A. Henzinger

The benefits of relaxing punctuality
- - Rajeev Alur
  - Tomás Feder
  - et al.
- 1996
- Journal of the ACM
Parametric real-Time reasoning
- - Rajeev Alur
  - Thomas A. Henzinger
  - et al.
- 1993
- STOC 1993