T. Wilke
First name(s): T.
Last name(s): Wilke

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