% 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”.
@INBOOK{Schroer:998367,
author = {Schroer, Philipp and Randone, Francesca and Pardo, Raúl
and Wa̧sowski, Andrzej},
title = {{S}ymbolic {Q}uantitative {I}nformation {F}low for
{P}robabilistic {P}rograms},
volume = {15260},
address = {Cham},
publisher = {Springer},
reportid = {RWTH-2024-11339},
series = {Lecture notes in computer science},
pages = {128-154},
year = {2025},
note = {First Online: 13 November 2024},
comment = {Principles of verification: cycling the probabilistic
landscape, [Bd.] Part 1 / Nils Jansen, Sebastian Junges,
Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll,
Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors},
booktitle = {Principles of verification: cycling
the probabilistic landscape, [Bd.] Part
1 / Nils Jansen, Sebastian Junges,
Benjamin Lucien Kaminski, Christoph
Matheja, Thomas Noll, Tim Quatmann,
Mariëlle Stoelinga, Matthias Volk,
editors},
cin = {121310 / 120000},
cid = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
pnm = {FRAPPANT - Formal Reasoning About Probabilistic Programs:
Breaking New Ground for Automation (787914) / MISSION -
Models in Space Systems: Integration, Operation, and
Networking (101008233)},
pid = {G:(EU-Grant)787914 / G:(EU-Grant)101008233},
typ = {PUB:(DE-HGF)7},
doi = {10.1007/978-3-031-75783-9_6},
url = {https://publications.rwth-aachen.de/record/998367},
}
guest ::