@inproceedings{dickhofer:wilke:99,
    Author = {Dickh{\"o}fer, Martin and Wilke, Thomas},
    BookTitle = {Proc. of ICALP'99},
    Editor = {Wiedermann, Ji{\v r}{\'\i} and Emde Boas, Peter and Nielsen, Mogens},
    File = {Dickhöfer-Wilke1999\_Chapter\_TimedAlternatingTreeAutomataTh (0) - a - a - j.pdf},
    ISBN = {978-3-540-66224-2},
    Language = {English},
    Pages = {281-290},
    Publisher = {Springer Berlin Heidelberg},
    Series = {LNCS},
    Title = {Timed Alternating Tree Automata: The Automata-Theoretic Solution to the {TCTL} Model Checking Problem},
    URL = {http://dx.doi.org/10.1007/3-540-48523-6\_25},
    Volume = {1644},
    Year = {1999},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-48523-6\_25},
    date-added = {2013-12-25 09:21:02 +0000},
    date-modified = {2014-01-01 14:51:01 +0000},
    doi = {10.1007/3-540-48523-6_25}
}

@inproceedings{dickhofer:wilke:99, Author = {Dickh{\"o}fer, Martin and Wilke, Thomas}, BookTitle = {Proc. of ICALP'99}, Editor = {Wiedermann, Ji{\v r}{\'\i} and Emde Boas, Peter and Nielsen, Mogens}, File = {Dickhöfer-Wilke1999_Chapter_TimedAlternatingTreeAutomataTh (0) - a - a - j.pdf}, ISBN = {978-3-540-66224-2}, Language = {English}, Pages = {281-290}, Publisher = {Springer Berlin Heidelberg}, Series = {LNCS}, Title = {Timed Alternating Tree Automata: The Automata-Theoretic Solution to the {TCTL} Model Checking Problem}, URL = {http://dx.doi.org/10.1007/3-540-48523-6_25}, Volume = {1644}, Year = {1999}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-48523-6_25}, date-added = {2013-12-25 09:21:02 +0000}, date-modified = {2014-01-01 14:51:01 +0000}, doi = {10.1007/3-540-48523-6_25} }