Salvatore La Torre, Margherita Napoli. Finite automata on timed omega-trees. Theoretical Computer Science, 293(3):479-505, 2003.
@article{TorreN03, title = {Finite automata on timed omega-trees}, author = {Salvatore La Torre and Margherita Napoli}, year = {2003}, researchr = {https://researchr.org/publication/TorreN03}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {293}, number = {3}, pages = {479-505}, }