Quantitative Synthesis for Concurrent Programs (bibtex)
by Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
Reference:
Quantitative Synthesis for Concurrent ProgramsPavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit SinghCAV, pages 243-259, 2011.
Bibtex Entry:
@inproceedings{CCHRS11,
title = {Quantitative Synthesis for Concurrent Programs},
ee = {http://dx.doi.org/10.1007/978-3-642-22110-1_20},
booktitle = {CAV},
author = {Pavol Cern{\'y} and Krishnendu Chatterjee and Thomas A. Henzinger
and Arjun Radhakrishna and Rohit Singh},
url = {http://arxiv.org/pdf/1104.4306},
year = {2011},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {243-259},
crossref = {DBLP:conf/cav/2011},
}
Powered by bibtexbrowser