%0 Conference Paper %1 conf/csl/LustigNV11 %A Lustig, Yoad %A Nain, Sumit %A Vardi, Moshe Y. %B CSL %D 2011 %E Bezem, Marc %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 412-427 %T Synthesis from Probabilistic Components. %U http://dblp.uni-trier.de/db/conf/csl/csl2011.html#LustigNV11 %V 12 %@ 978-3-939897-32-3

@inproceedings{conf/csl/LustigNV11, added-at = {2018-08-23T00:00:00.000+0200}, author = {Lustig, Yoad and Nain, Sumit and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2bdbed4f670c28c135a2587bcd7c12b2e/dblp}, booktitle = {CSL}, crossref = {conf/csl/2011}, editor = {Bezem, Marc}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2011.412}, interhash = {85ca3fa176053341bafe007ce2cce832}, intrahash = {bdbed4f670c28c135a2587bcd7c12b2e}, isbn = {978-3-939897-32-3}, keywords = {dblp}, pages = {412-427}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:49:37.000+0200}, title = {Synthesis from Probabilistic Components.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2011.html#LustigNV11}, volume = 12, year = 2011 }