C
[CDF+14] Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot et Jean-François Raskin. Doomsday Equilibria for Omega-Regular Games. In VMCAI'14, Lecture Notes in Computer Science 8318, pages 78-97. Springer-Verlag, janvier 2014. 
@inproceedings{vmcai2014-CDFR,
  author =              {Chatterjee, Krishnendu and Doyen, Laurent and
                         Filiot, Emmanuel and Raskin, Jean-Fran{\c c}ois},
  title =               {Doomsday Equilibria for Omega-Regular Games},
  editor =              {McMillan, Kenneth L. and Rival, Xavier},
  booktitle =           {{P}roceedings of the 15th {I}nternational {W}orkshop
                         on {V}erification, {M}odel {C}hecking, and
                         {A}bstract {I}nterpretation ({VMCAI}'14)},
  acronym =             {{VMCAI}'14},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {8318},
  pages =               {78-97},
  year =                {2014},
  month =               jan,
  doi =                 {10.1007/978-3-642-54013-4_5},
}
Liste des auteurs