% 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{Gerlach:1032441,
author = {Gerlach, Lina and Winkler, Tobias and Abraham, Erika and
Bonakdarpour, Borzoo and Junges, Sebastian},
title = {{C}orrection to: {E}fficient {P}robabilistic {M}odel
{C}hecking for {R}elational {R}eachability},
volume = {15931},
address = {Cham},
publisher = {Springer Nature Switzerland},
reportid = {RWTH-2026-03527},
series = {Lecture Notes in Computer Science},
pages = {C1-C2},
year = {2025},
note = {Correction zu: Gerlach, Lina ... : Efficient Probabilistic
Model Checking for Relational Reachability. - In: Computer
Aided Verification. - 127-147. - DOI:
$10.1007/978-3-031-98668-0_6$},
comment = {Computer Aided Verification : 37th International
Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025,
Proceedings, Part I},
booktitle = {Computer Aided Verification : 37th
International Conference, CAV 2025,
Zagreb, Croatia, July 23-25, 2025,
Proceedings, Part I},
month = {Jul},
date = {2025-07-23},
organization = {37. International Conference on
Computer Aided Verification, Zagreb
(Croatia), 23 Jul 2025 - 25 Jul 2025},
subtyp = {Erratum/Correction},
cin = {123420},
cid = {$I:(DE-82)123420_20140620$},
typ = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
doi = {10.1007/978-3-031-98668-0_20},
url = {https://publications.rwth-aachen.de/record/1032441},
}