S
[Saf92] Shmuel Safra. Exponential Determinization for ω-Automata with Strong-Fairness Acceptance Condition. In STOC'92, pages 272-282. ACM Press, 1992.
@inproceedings{stoc1992-Saf,
  author =              {Safra, Shmuel},
  title =               {Exponential Determinization for
                         {\(\omega\)}-Automata with Strong-Fairness
                         Acceptance Condition},
  booktitle =           {{P}roceedings of the 24th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'92)},
  acronym =             {{STOC}'92},
  publisher =           {ACM Press},
  pages =               {272-282},
  year =                {1992},
}
Liste des auteurs