L
[LN01] Salvatore La Torre and Margherita Napoli. Timed tree automata with an application to temporal logic. Acta Informatica 38(2):89-116. Springer-Verlag, 2001. 
@article{acta38(2)-LN,
  author =              {La{~}Torre, Salvatore and Napoli, Margherita},
  title =               {Timed tree automata with an application to temporal
                         logic},
  publisher =           {Springer-Verlag},
  journal =             {Acta Informatica},
  volume =              {38},
  number =              {2},
  pages =               {89-116},
  year =                {2001},
}
List of authors