C
[CHP08] Krishnendu Chatterjee, Thomas A. Henzinger et Nir Piterman. Algorithms for Büchi games. Research Report 0805.2620, arXiv, mai 2008. 
@techreport{corr0805.2620-CHP,
  author =              {Chatterjee, Krishnendu and Henzinger, Thomas A. and
                         Piterman, Nir},
  title =               {Algorithms for {B}{\"u}chi games},
  number =              {0805.2620},
  year =                {2008},
  month =               may,
  institution =         {arXiv},
  type =                {Research Report},
}
Liste des auteurs