Martin Dickhöfer

According to our database, Martin Dickhöfer authored at least 1 paper in 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

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

Martin Dickhöfer, Thomas Wilke

Proceedings of the Automata, 1999