Real-time Logics: Complexity and Expressiveness

Rajeev Alur, Thomas A. Henzinger

Browse the full LICS paper archive.