%0 Conference Paper %1 conf/concur/AlmagorKV16 %A Almagor, Shaull %A Kupferman, Orna %A Velner, Yaron %B CONCUR %D 2016 %E Desharnais, Josée %E Jagadeesan, Radha %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 9:1-9:15 %T Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis. %U http://dblp.uni-trier.de/db/conf/concur/concur2016.html#AlmagorKV16 %V 59 %@ 978-3-95977-017-0

@inproceedings{conf/concur/AlmagorKV16, added-at = {2018-11-30T00:00:00.000+0100}, author = {Almagor, Shaull and Kupferman, Orna and Velner, Yaron}, biburl = {https://www.bibsonomy.org/bibtex/28b2a60ee0832bbbc1c171e1144cfe1ee/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2016}, editor = {Desharnais, Josée and Jagadeesan, Radha}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.9}, interhash = {8e296f9ef82a5cd375382a95fa9e851e}, intrahash = {8b2a60ee0832bbbc1c171e1144cfe1ee}, isbn = {978-3-95977-017-0}, keywords = {dblp}, pages = {9:1-9:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:49:52.000+0100}, title = {Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2016.html#AlmagorKV16}, volume = 59, year = 2016 }