%0 Conference Paper %1 conf/cav/CernyCHRS11 %A Cerný, Pavol %A Chatterjee, Krishnendu %A Henzinger, Thomas A. %A Radhakrishna, Arjun %A Singh, Rohit %B CAV %D 2011 %E Gopalakrishnan, Ganesh %E Qadeer, Shaz %I Springer %K dblp %P 243-259 %T Quantitative Synthesis for Concurrent Programs. %U http://dblp.uni-trier.de/db/conf/cav/cav2011.html#CernyCHRS11 %V 6806 %@ 978-3-642-22109-5

@inproceedings{conf/cav/CernyCHRS11, added-at = {2018-10-03T00:00:00.000+0200}, author = {Cerný, Pavol and Chatterjee, Krishnendu and Henzinger, Thomas A. and Radhakrishna, Arjun and Singh, Rohit}, biburl = {https://www.bibsonomy.org/bibtex/20869c0dac013dc6cc12643b04b7145cf/dblp}, booktitle = {CAV}, crossref = {conf/cav/2011}, editor = {Gopalakrishnan, Ganesh and Qadeer, Shaz}, ee = {https://doi.org/10.1007/978-3-642-22110-1_20}, interhash = {95ff3ea4025076f048cfe22a1a55be1f}, intrahash = {0869c0dac013dc6cc12643b04b7145cf}, isbn = {978-3-642-22109-5}, keywords = {dblp}, pages = {243-259}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:32.000+0200}, title = {Quantitative Synthesis for Concurrent Programs.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2011.html#CernyCHRS11}, volume = 6806, year = 2011 }