@inproceedings{BouquetSerreWalukiewicz:2003,
    Author = {Bouquet, Alexis-Julien and Serre, Oliver and Walukiewicz, Igor},
    BookTitle = {Proc. of FSTTCS'03},
    Editor = {Pandya, ParitoshK. and Radhakrishnan, Jaikumar},
    File = {Pushdown Games with Unboundedness and Regular Conditions - Bouquet, Serre, Walukiewicz (0) (0) - a - a - j.pdf},
    ISBN = {978-3-540-20680-4},
    Pages = {88--99},
    Publisher = {Springer},
    Series = {LNCS},
    Title = {Pushdown Games with Unboundedness and Regular Conditions},
    URL = {http://dx.doi.org/10.1007/978-3-540-24597-1\_8},
    Volume = {2914},
    Year = {2003},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-24597-1\_8},
    date-added = {2014-01-29 18:16:00 +0000},
    date-modified = {2020-08-19 11:56:00 +0200},
    doi = {10.1007/978-3-540-24597-1_8}
}

@inproceedings{BouquetSerreWalukiewicz:2003, Author = {Bouquet, Alexis-Julien and Serre, Oliver and Walukiewicz, Igor}, BookTitle = {Proc. of FSTTCS'03}, Editor = {Pandya, ParitoshK. and Radhakrishnan, Jaikumar}, File = {Pushdown Games with Unboundedness and Regular Conditions - Bouquet, Serre, Walukiewicz (0) (0) - a - a - j.pdf}, ISBN = {978-3-540-20680-4}, Pages = {88--99}, Publisher = {Springer}, Series = {LNCS}, Title = {Pushdown Games with Unboundedness and Regular Conditions}, URL = {http://dx.doi.org/10.1007/978-3-540-24597-1_8}, Volume = {2914}, Year = {2003}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-24597-1_8}, date-added = {2014-01-29 18:16:00 +0000}, date-modified = {2020-08-19 11:56:00 +0200}, doi = {10.1007/978-3-540-24597-1_8} }