%0 Conference Paper %1 conf/setss/SzymczakK19 %A Szymczak, Marcin %A Katoen, Joost-Pieter %B SETSS %D 2019 %E Bowen, Jonathan P. %E Liu, Zhiming %E Zhang, Zili %I Springer %K dblp %P 44-121 %T Weakest Preexpectation Semantics for Bayesian Inference - Conditioning, Continuous Distributions and Divergence. %U http://dblp.uni-trier.de/db/conf/setss/setss2019.html#SzymczakK19 %V 12154 %@ 978-3-030-55089-9

@inproceedings{conf/setss/SzymczakK19, added-at = {2020-11-27T00:00:00.000+0100}, author = {Szymczak, Marcin and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/2cee3785db75fb94f4147640e3575d813/dblp}, booktitle = {SETSS}, crossref = {conf/setss/2019}, editor = {Bowen, Jonathan P. and Liu, Zhiming and Zhang, Zili}, ee = {https://doi.org/10.1007/978-3-030-55089-9_3}, interhash = {15ffd103c0d4e8bb89ad152c21abc93f}, intrahash = {cee3785db75fb94f4147640e3575d813}, isbn = {978-3-030-55089-9}, keywords = {dblp}, pages = {44-121}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-28T11:39:35.000+0100}, title = {Weakest Preexpectation Semantics for Bayesian Inference - Conditioning, Continuous Distributions and Divergence.}, url = {http://dblp.uni-trier.de/db/conf/setss/setss2019.html#SzymczakK19}, volume = 12154, year = 2019 }