TY  - BOOK
AU  - Gradel, Erich
AU  - Thomas, Wolgang
AU  - Wilke, Thomas Eds.
TI  - Automata logics and infinite games: guide to current research
SN  - 3540003886
CY  - Berlin
KW  - Automata
ER  -