@inproceedings{Chatterjee:2012:MPG:2358958.2359554,
    Address = {Washington, DC, USA},
    Author = {Chatterjee, Krishnendu and Velner, Yaron},
    BookTitle = {Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science},
    File = {Mean-Payoff Pushdown Games - Chatterjee, Velner (0) (0) - a - a - j.pdf},
    ISBN = {978-0-7695-4769-5},
    Keywords = {mean-payoff games and pushdown systems},
    Location = {New Orleans, Louisiana},
    Pages = {195--204},
    Publisher = {IEEE Computer Society},
    Series = {LICS '12},
    Title = {Mean-Payoff Pushdown Games},
    URL = {http://dx.doi.org/10.1109/LICS.2012.30},
    Year = {2012},
    acmid = {2359554},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2012.30},
    bdsk-url-2 = {http://arxiv.org/abs/1201.2829},
    date-added = {2013-10-29 09:26:51 +0000},
    date-modified = {2014-04-20 19:54:51 +0000},
    numpages = {10},
    doi = {10.1109/LICS.2012.30}
}

@inproceedings{Chatterjee:2012:MPG:2358958.2359554, Address = {Washington, DC, USA}, Author = {Chatterjee, Krishnendu and Velner, Yaron}, BookTitle = {Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science}, File = {Mean-Payoff Pushdown Games - Chatterjee, Velner (0) (0) - a - a - j.pdf}, ISBN = {978-0-7695-4769-5}, Keywords = {mean-payoff games and pushdown systems}, Location = {New Orleans, Louisiana}, Pages = {195--204}, Publisher = {IEEE Computer Society}, Series = {LICS '12}, Title = {Mean-Payoff Pushdown Games}, URL = {http://dx.doi.org/10.1109/LICS.2012.30}, Year = {2012}, acmid = {2359554}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2012.30}, bdsk-url-2 = {http://arxiv.org/abs/1201.2829}, date-added = {2013-10-29 09:26:51 +0000}, date-modified = {2014-04-20 19:54:51 +0000}, numpages = {10}, doi = {10.1109/LICS.2012.30} }