% IMPORTANT: The following is UTF-8 encoded. This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.
@INPROCEEDINGS{Chen:848175,
author = {Chen, Mingshuai and Katoen, Joost-Pieter and Klinkenberg,
Lutz and Winkler, Tobias},
title = {{D}oes a {P}rogram {Y}ield the {R}ight {D}istribution?
{V}erifying {P}robabilistic {P}rograms via {G}enerating
{F}unctions; 1st ed. 2022.},
volume = {13371},
address = {Cham},
publisher = {Springer International Publishing},
reportid = {RWTH-2022-05821},
series = {Lecture Notes in Computer Science},
pages = {79-101},
year = {2022},
comment = {Computer Aided Verification : 34th International
Conference, CAV 2022, Haifa, Israel, August 7–10, 2022,
Proceedings, Part I / edited by Sharon Shoham, Yakir Vizel},
booktitle = {Computer Aided Verification : 34th
International Conference, CAV 2022,
Haifa, Israel, August 7–10, 2022,
Proceedings, Part I / edited by Sharon
Shoham, Yakir Vizel},
month = {Aug},
date = {2022-08-07},
organization = {34. International Conference on
Computer Aided Verification, Haifa
(Israel), 7 Aug 2022 - 10 Aug 2022},
cin = {121310 / 080017 / 120000 / 080060},
cid = {$I:(DE-82)121310_20140620$ / $I:(DE-82)080017_20140620$ /
$I:(DE-82)120000_20140620$ / $I:(DE-82)080060_20170720$},
typ = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
UT = {WOS:000870304500005},
doi = {10.1007/978-3-031-13185-1_5},
url = {https://publications.rwth-aachen.de/record/848175},
}
guest ::