Gradel, Erich Thomas, Wolgang Wilke, Thomas Eds.
Automata logics and infinite games: guide to current research - Berlin Springer 2003 - 396 - Lecture notes in computer science ; 02500 .
3540003886
Automata
681 LNCS
Automata logics and infinite games: guide to current research - Berlin Springer 2003 - 396 - Lecture notes in computer science ; 02500 .
3540003886
Automata
681 LNCS