Determinizing Discounted-Sum Automata (bibtex)
by Udi Boker, Thomas A. Henzinger
Reference:
Determinizing Discounted-Sum AutomataUdi Boker, Thomas A. HenzingerCSL, pages 82-96, 2011.
Bibtex Entry:
@inproceedings{BH11,
title = {Determinizing Discounted-Sum Automata},
ee = {http://dx.doi.org/10.4230/LIPIcs.CSL.2011.82},
booktitle = {CSL},
author = {Udi Boker and Thomas A. Henzinger},
url = {/pubpdf/Determinizing_Discounted-Sum_Automata.pdf},
year = {2011},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {82-96},
crossref = {DBLP:conf/csl/2011},
}
Powered by bibtexbrowser