Synthesis from Probabilistic Components - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yoad Lustig, Sumit Nain, Moshe Y. Vardi. Synthesis from Probabilistic Components. In Marc Bezem, editor, Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. Volume 12 of LIPIcs, pages 412-427, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]

This author has not been identified. Look up 'Yoad Lustig' in GoogleThis author has not been identified. Look up 'Sumit Nain' in GoogleThis author has not been identified. Look up 'Moshe Y. Vardi' in Google

runs on WebDSL