Salvatore La Torre, Margherita Napoli. A Model of Finite Automata on Timed omega-Trees. Theoretical Computer Science, 42:158-173, 2001. [doi]
@article{TorreN01, title = {A Model of Finite Automata on Timed omega-Trees}, author = {Salvatore La Torre and Margherita Napoli}, year = {2001}, url = {http://www.elsevier.nl/locate/entcs/volume42.html}, researchr = {https://researchr.org/publication/TorreN01}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {42}, pages = {158-173}, }