Automata logics, and infinite games (e-book)
Gradel, Erich
Automata logics, and infinite games (e-book) - Berlin Springer 2002 - Lecture Notes in Computer Science (LNCS) v.2500 .
978-3-540-36387-3
Automata logics, and infinite games (e-book) - Berlin Springer 2002 - Lecture Notes in Computer Science (LNCS) v.2500 .
978-3-540-36387-3