Automata For Modeling Real-Time Systems.

Rajeev Alur, David L. Dill

Browse the full ICALP paper archive.