L
[LT00] Christof Löding et Wolfgang Thomas. Alternating Automata and Logics over Infinite Words. In IFIPTCS'00, Lecture Notes in Computer Science 1872, pages 521-535. Springer-Verlag, août 2000. 
@inproceedings{ifiptcs2000-LT,
  author =              {L{\"o}ding, Christof and Thomas, Wolfgang},
  title =               {Alternating Automata and Logics over Infinite Words},
  editor =              {van Leeuwen, Jan and Watanabe, Osamu and Hagiya,
                         Masami and Mosses, Peter D. and Ito, Takayasu},
  booktitle =           {{E}xploring {N}ew {F}rontiers of {T}heoretical
                         {I}nformatics~--- {P}roceedings of the 1st {IFIP}
                         {I}nternational {C}onference on {T}heoretical
                         {C}omputer {S}cience ({IFIPTCS}'00)},
  acronym =             {{IFIPTCS}'00},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1872},
  pages =               {521-535},
  year =                {2000},
  month =               aug,
}
Liste des auteurs