F
[FW05] Carsten Fritz et Thomas Wilke. Simulation Relations for Alternating Büchi Automata. Theoretical Computer Science 338(1-3):275-314. Elsevier, juin 2005. 
@article{tcs338(1-3)-FW,
  author =              {Fritz, Carsten and Wilke, Thomas},
  title =               {Simulation Relations for Alternating {B}{\"u}chi
                         Automata},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {338},
  number =              {1-3},
  pages =               {275-314},
  year =                {2005},
  month =               jun,
}
Liste des auteurs