B
[BJW02] Julien Bernet, David Janin et Igor Walukiewicz. Permissive strategies: from parity games to safety games. RAIRO – Theoretical Informatics and Applications 36(3):261-275. EDP Sciences, 2002.
@article{rairo-tia36(3)-BJW,
  author =              {Bernet, Julien and Janin, David and Walukiewicz,
                         Igor},
  title =               {Permissive strategies: from parity games to safety
                         games},
  publisher =           {EDP Sciences},
  journal =             {RAIRO~-- Theoretical Informatics and Applications},
  volume =              {36},
  number =              {3},
  pages =               {261-275},
  year =                {2002},
}
Liste des auteurs