B
[BRS14] Romain Brenguier, Jean-François Raskin et Mathieu Sassolas. The complexity of admissibility in omega-regular games. In CSL/ LICS'14, pages 23:1-23:10. ACM Press, juillet 2014.
@inproceedings{csllics2014-BRS,
  author =              {Brenguier, Romain and Raskin, Jean-Fran{\c c}ois and
                         Sassolas, Mathieu},
  title =               {The complexity of admissibility in omega-regular
                         games},
  booktitle =           {{P}roceedings of the Joint Meeting of the 23rd
                         {EACSL} {A}nnual {C}onference on {C}omputer
                         {S}cience {L}ogic and the 29th {A}nnual {ACM\slash
                         IEEE} {S}ymposium on {L}ogic {I}n {C}omputer
                         {S}cience ({CSL\slash LICS}'14)},
  acronym =             {{CSL\slash LICS}'14},
  publisher =           {ACM Press},
  pages =               {23:1-23:10},
  year =                {2014},
  month =               jul,
  doi =                 {10.1145/2603088.2603143},
}
Liste des auteurs