Publications of T. Wilke
2001
Alternating Tree Automata, Parity Games, and Modal m-Calculus. (2001), in: Bulletin of the Belgian Mathematical Society Simon Stevin, 8:2(359) | ,
Alternating Tree Automata, Parity Games, and Modal m-Calculus. (2001), in: Bulletin of the Belgian Mathematical Society Simon Stevin, 8:2(359) | ,