Automata Logics, and Infinite Games [E-Book] : A Guide to Current Research / edited by Erich Grädel, Wolfgang Thomas, Thomas Wilke.
Grädel, Erich.
Thomas, Wolfgang. / Wilke, Thomas.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002
online resource
9783540363873
Lecture Notes in Computer Science ; 2500
Full Text
Description not available.