@article{latorre:napoli:2001,
    Author = {La Torre, Salvatore and Napoli, Margherita},
    File = {LaTorre-Napoli2001\_Article\_TimedTreeAutomataWithAnApplica (0) - a - a - x.pdf},
    ISSN = {0001-5903},
    Journal = {Acta Informatica},
    Language = {English},
    Number = {2},
    Pages = {89-116},
    Publisher = {Springer-Verlag},
    Title = {Timed tree automata with an application to temporal logic},
    URL = {http://dx.doi.org/10.1007/s002360100067},
    Volume = {38},
    Year = {2001},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s002360100067},
    date-added = {2013-12-25 09:21:34 +0000},
    date-modified = {2013-12-25 09:21:34 +0000},
    file-2 = {Timed tree automata with an application to temporal logic - La Torre, Napoli (0) (0) - a - a - x.pdf},
    doi = {10.1007/s002360100067}
}

@article{latorre:napoli:2001, Author = {La Torre, Salvatore and Napoli, Margherita}, File = {LaTorre-Napoli2001_Article_TimedTreeAutomataWithAnApplica (0) - a - a - x.pdf}, ISSN = {0001-5903}, Journal = {Acta Informatica}, Language = {English}, Number = {2}, Pages = {89-116}, Publisher = {Springer-Verlag}, Title = {Timed tree automata with an application to temporal logic}, URL = {http://dx.doi.org/10.1007/s002360100067}, Volume = {38}, Year = {2001}, bdsk-url-1 = {http://dx.doi.org/10.1007/s002360100067}, date-added = {2013-12-25 09:21:34 +0000}, date-modified = {2013-12-25 09:21:34 +0000}, file-2 = {Timed tree automata with an application to temporal logic - La Torre, Napoli (0) (0) - a - a - x.pdf}, doi = {10.1007/s002360100067} }