## Martin Dickhöfer, Thomas Wilke

*Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem*

ICALP, 1999.

@inproceedings{ICALP-1999-DickhoferW, author = "Martin Dickhöfer and Thomas Wilke", booktitle = "{Proceedings of the 26th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-48523-6_25", isbn = "3-540-66224-3", pages = "281--290", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem}", volume = 1644, year = 1999, }