From boolean to quantitative synthesis (bibtex)
by Pavol Cerný, Thomas A. Henzinger
Reference:
From boolean to quantitative synthesisPavol Cerný, Thomas A. HenzingerEMSOFT, pages 149-154, 2011.
Bibtex Entry:
@inproceedings{CH11,
title = {From boolean to quantitative synthesis},
ee = {http://doi.acm.org/10.1145/2038642.2038666},
booktitle = {EMSOFT},
author = {Pavol Cern{\'y} and Thomas A. Henzinger},
url = {/pubpdf/From_boolean_to_quantitative_synthesis.pdf},
year = {2011},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {149-154},
}
Powered by bibtexbrowser