K
[Kir02] Daniel Kirsten. Alternating tree automata and parity games. In Erich Grädel, Wolfgang Thomas et Thomas Wilke (eds.), Automata, Logics, and Infinite Games, Lecture Notes in Computer Science 2500, pages 153-167. Springer-Verlag, 2002.
@incollection{lncs2500-kirsten,
  author =              {Kirsten, Daniel},
  title =               {Alternating tree automata and parity games},
  editor =              {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke,
                         Thomas},
  booktitle =           {Automata, Logics, and Infinite Games},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {2500},
  pages =               {153-167},
  chapter =             {9},
  year =                {2002},
}
Liste des auteurs