Martin Dickhöfer

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999

1 EE Martin Dickhöfer, Thomas Wilke: Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem. ICALP 1999: 281-290

1999
1	EE	Martin Dickhöfer, Thomas Wilke: Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem. ICALP 1999: 281-290

Coauthor Index

1 Thomas Wilke [1]