Infinite-state games with finitary conditions (bibtex)
by Krishnendu Chatterjee, Nathanaël Fijalkow
Reference:
Infinite-state games with finitary conditionsKrishnendu Chatterjee, Nathanaël FijalkowComputer Science Logic 2013 (CSL 2013), volume 23 of LIPIcs, pages 181-196, 2013, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
Bibtex Entry:
@inproceedings{CF13b,
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-60-6},
title = {Infinite-state games with finitary conditions},
ee = {http://dx.doi.org/10.4230/LIPIcs.CSL.2013.181},
series = {LIPIcs},
booktitle = {Computer Science Logic 2013 (CSL 2013)},
author = {Krishnendu Chatterjee and Nathana{\"e}l Fijalkow},
volume = {23},
url = {http://arxiv.org/pdf/1301.2661},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {181-196},
}
Powered by bibtexbrowser