@inproceedings{chatterjee:jurdzinski:henzinger:2003,
    Author = {Chatterjee, Krishnendu and Jurdzi{\'n}ski, Marcin and Henzinger, ThomasA.},
    BookTitle = {Proc. CSL'03},
    Editor = {Baaz, Matthias and Makowsky, Johann A.},
    File = {Simple Stochastic Parity Games - Chatterjee, Jurdziński, Henzinger (0) (0) - a - a - d.pdf},
    ISBN = {978-3-540-40801-7},
    Pages = {100--113},
    Publisher = {Springer Berlin Heidelberg},
    Series = {LNCS},
    Title = {Simple Stochastic Parity Games},
    URL = {http://dx.doi.org/10.1007/978-3-540-45220-1\_11},
    Volume = {2803},
    Year = {2003},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-45220-1\_11},
    date-added = {2013-12-14 10:53:01 +0000},
    date-modified = {2023-08-23 10:05:32 +0200},
    doi = {10.1007/978-3-540-45220-1_11}
}

@inproceedings{chatterjee:jurdzinski:henzinger:2003, Author = {Chatterjee, Krishnendu and Jurdzi{\'n}ski, Marcin and Henzinger, ThomasA.}, BookTitle = {Proc. CSL'03}, Editor = {Baaz, Matthias and Makowsky, Johann A.}, File = {Simple Stochastic Parity Games - Chatterjee, Jurdziński, Henzinger (0) (0) - a - a - d.pdf}, ISBN = {978-3-540-40801-7}, Pages = {100--113}, Publisher = {Springer Berlin Heidelberg}, Series = {LNCS}, Title = {Simple Stochastic Parity Games}, URL = {http://dx.doi.org/10.1007/978-3-540-45220-1_11}, Volume = {2803}, Year = {2003}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-45220-1_11}, date-added = {2013-12-14 10:53:01 +0000}, date-modified = {2023-08-23 10:05:32 +0200}, doi = {10.1007/978-3-540-45220-1_11} }