Alur, Rajeev; Henzinger, Thomas A. Back to the future: Towards a theory of timed regular languages. (English) Zbl 0977.68548 33rd annual symposium on Foundations of computer science (FOCS). Proceedings, Pittsburgh, PA, USA, October 24-27, 1992. Washington, DC: IEEE Computer Society Press, 177-186 (1992). Cited in 1 ReviewCited in 12 Documents MSC: 68Q45 Formal languages and automata PDF BibTeX XML Cite \textit{R. Alur} and \textit{T. A. Henzinger}, in: 33rd annual symposium on Foundations of computer science (FOCS). Proceedings, Pittsburgh, PA, USA, October 24--27, 1992. Washington, DC: IEEE Computer Society Press. 177--186 (1992; Zbl 0977.68548)