%0 Conference Paper %1 conf/tacas/Andriushchenko021 %A Andriushchenko, Roman %A Ceska, Milan %A Junges, Sebastian %A Katoen, Joost-Pieter %B TACAS (1) %D 2021 %E Groote, Jan Friso %E Larsen, Kim Guldstrand %I Springer %K dblp %P 191-209 %T Inductive Synthesis for Probabilistic Programs Reaches New Horizons. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2021-1.html#Andriushchenko021 %V 12651 %@ 978-3-030-72016-2

@inproceedings{conf/tacas/Andriushchenko021, added-at = {2021-09-16T00:00:00.000+0200}, author = {Andriushchenko, Roman and Ceska, Milan and Junges, Sebastian and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/2f4c2832f1b5bcc5cdc335b323ce82641/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2021-1}, editor = {Groote, Jan Friso and Larsen, Kim Guldstrand}, ee = {https://doi.org/10.1007/978-3-030-72016-2_11}, interhash = {a0acbadd9ab9ac7eae2c27917e147376}, intrahash = {f4c2832f1b5bcc5cdc335b323ce82641}, isbn = {978-3-030-72016-2}, keywords = {dblp}, pages = {191-209}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:41.000+0200}, title = {Inductive Synthesis for Probabilistic Programs Reaches New Horizons.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2021-1.html#Andriushchenko021}, volume = 12651, year = 2021 }