@article{ITA:8241443,
    Author = {Bernet, Julien and Janin, David and Walukiewicz, Igor},
    File = {Permissive strategies from parity games to safety games - Bernet, Janin, Walukiewicz (0) (0) - a - a - v.pdf},
    ISSN = {1290-385X},
    Issue = {03},
    Journal = {RAIRO - Theoretical Informatics and Applications},
    Month = {7},
    Pages = {261--275},
    Title = {Permissive strategies: from parity games to safety games},
    URL = {http://www.rairo-ita.org/article\_S0988375402000139},
    Volume = {36},
    Year = {2002},
    bdsk-url-1 = {http://www.rairo-ita.org/article\_S0988375402000139},
    bdsk-url-2 = {http://dx.doi.org/10.1051/ita:2002013},
    date-added = {2014-02-10 09:59:52 +0000},
    date-modified = {2014-02-10 09:59:52 +0000},
    numpages = {15},
    doi = {10.1051/ita:2002013}
}

@article{ITA:8241443, Author = {Bernet, Julien and Janin, David and Walukiewicz, Igor}, File = {Permissive strategies from parity games to safety games - Bernet, Janin, Walukiewicz (0) (0) - a - a - v.pdf}, ISSN = {1290-385X}, Issue = {03}, Journal = {RAIRO - Theoretical Informatics and Applications}, Month = {7}, Pages = {261--275}, Title = {Permissive strategies: from parity games to safety games}, URL = {http://www.rairo-ita.org/article_S0988375402000139}, Volume = {36}, Year = {2002}, bdsk-url-1 = {http://www.rairo-ita.org/article_S0988375402000139}, bdsk-url-2 = {http://dx.doi.org/10.1051/ita:2002013}, date-added = {2014-02-10 09:59:52 +0000}, date-modified = {2014-02-10 09:59:52 +0000}, numpages = {15}, doi = {10.1051/ita:2002013} }