Mean-Payoff Pushdown Games (bibtex)
by Krishnendu Chatterjee, Yaron Velner
Reference:
Mean-Payoff Pushdown GamesKrishnendu Chatterjee, Yaron VelnerLICS, pages 195-204, 2012.
Bibtex Entry:
@inproceedings{CV12,
title = {Mean-Payoff Pushdown Games},
url = {Mean-Payoff Pushdown Games},
booktitle = {LICS},
author = {Krishnendu Chatterjee and Yaron Velner},
year = {2012},
pages = {195-204},
}
Powered by bibtexbrowser