T. A. Henzinger - Researcher Profile

Publications

1 shown

A really temporal logic

Rajeev Alur , T. A. Henzinger

A real-time temporal logic for the specification of reactive systems is introduced. The novel feature of the logic, TPTL, is the adoption of temporal operators as quantifiers ov...

1989 30th Annual Symposium on Foundations ... 162 citations

Frequent Co-Authors

Rajeev Alur

Stanford University

Researcher Info

h-index: 1
Publications: 1
Citations: 162
Institution: Stanford University

External Links

Google Scholar

Impact Metrics

h-index 1

h-index: Number of publications with at least h citations each.