%0 Conference Paper %1 conf/birthday/KatoenGJKO15 %A Katoen, Joost-Pieter %A Gretz, Friedrich %A Jansen, Nils %A Kaminski, Benjamin Lucien %A Olmedo, Federico %B Correct System Design %D 2015 %E Meyer, Roland %E Platzer, André %E Wehrheim, Heike %I Springer %K %P 15-32 %T Understanding Probabilistic Programs. %U http://dblp.uni-trier.de/db/conf/birthday/olderog2015.html#KatoenGJKO15 %V 9360 %@ 978-3-319-23505-9

@inproceedings{conf/birthday/KatoenGJKO15, added-at = {2023-12-12T23:35:01.000+0100}, author = {Katoen, Joost-Pieter and Gretz, Friedrich and Jansen, Nils and Kaminski, Benjamin Lucien and Olmedo, Federico}, biburl = {https://www.bibsonomy.org/bibtex/2d81307186b8c207de2e0dc53167ab136/admin}, booktitle = {Correct System Design}, crossref = {conf/birthday/2015olderog}, editor = {Meyer, Roland and Platzer, André and Wehrheim, Heike}, ee = {https://www.wikidata.org/entity/Q57800754}, interhash = {5791a2dc58bb8a1c8dfc67816a21258d}, intrahash = {d81307186b8c207de2e0dc53167ab136}, isbn = {978-3-319-23505-9}, keywords = {}, pages = {15-32}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T23:35:01.000+0100}, title = {Understanding Probabilistic Programs.}, url = {http://dblp.uni-trier.de/db/conf/birthday/olderog2015.html#KatoenGJKO15}, volume = 9360, year = 2015 }