%0 Conference Paper %1 conf/csl/AlmagorK16 %A Almagor, Shaull %A Kupferman, Orna %B CSL %D 2016 %E Talbot, Jean-Marc %E Regnier, Laurent %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 28:1-28:17 %T High-Quality Synthesis Against Stochastic Environments. %U http://dblp.uni-trier.de/db/conf/csl/csl2016.html#AlmagorK16 %V 62 %@ 978-3-95977-022-4

@inproceedings{conf/csl/AlmagorK16, added-at = {2018-11-30T00:00:00.000+0100}, author = {Almagor, Shaull and Kupferman, Orna}, biburl = {https://www.bibsonomy.org/bibtex/2a3b625666119f06e7f967958b1771701/dblp}, booktitle = {CSL}, crossref = {conf/csl/2016}, editor = {Talbot, Jean-Marc and Regnier, Laurent}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2016.28}, interhash = {8852c53f08cb1a68b8b1cae8b2bd1327}, intrahash = {a3b625666119f06e7f967958b1771701}, isbn = {978-3-95977-022-4}, keywords = {dblp}, pages = {28:1-28:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:51:25.000+0100}, title = {High-Quality Synthesis Against Stochastic Environments.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2016.html#AlmagorK16}, volume = 62, year = 2016 }