Looking at Mean-Payoff and Total-Payoff through Windows (bibtex)
by Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin
Reference:
Looking at Mean-Payoff and Total-Payoff through WindowsKrishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François RaskinAutomated Technology for Verification and Analysis (ATVA 2013), volume 8172 of Lecture Notes in Computer Science, pages 118-132, 2013, Springer.
Bibtex Entry:
@inproceedings{CDRR13,
publisher = {Springer},
isbn = {978-3-319-02443-1},
title = {Looking at Mean-Payoff and Total-Payoff through Windows},
ee = {http://dx.doi.org/10.1007/978-3-319-02444-8_10},
series = {Lecture Notes in Computer Science},
booktitle = {Automated Technology for Verification and Analysis (ATVA 2013)},
author = {Krishnendu Chatterjee and Laurent Doyen and Mickael Randour and Jean-Fran\c{c}ois
Raskin},
volume = {8172},
url = {http://arxiv.org/pdf/1302.4248},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {118-132},
}
Powered by bibtexbrowser