Real-time Logics: Complexity and Expressiveness. (1990)

by Rajeev Alur, Thomas A Henzinger
Venue:In LICS,