L
[LZ20] Karoliina Lehtinen et Martin Zimmermann. Good-for-games ω-pushdown automata. In LICS'20, pages 689-702. IEEE Comp. Soc. Press, juillet 2020. 
@inproceedings{lics2020-LZ,
  author =              {Lehtinen, Karoliina and Zimmermann, Martin},
  title =               {Good-for-games {\(\omega\)}-pushdown automata},
  editor =              {Hermanns, Holger and Zhang, Lijun and Kobayashi,
                         Naoki and Miller, Dale},
  booktitle =           {{P}roceedings of the 35th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'20)},
  acronym =             {{LICS}'20},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {689-702},
  year =                {2020},
  month =               jul,
  doi =                 {10.1145/3373718.3394737},
}
Liste des auteurs