h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Gerlach, Carolina
AU  - Winkler, Tobias
AU  - Ábrahám, Erika
AU  - Bonakdarpour, Borzoo
AU  - Junges, Sebastian
TI  - Efficient Probabilistic Model Checking for Relational Reachability
VL  - 15931
CY  - Cham
PB  - Springer Nature Switzerland
M1  - RWTH-2025-07494
T2  - Lecture Notes in Computer Science
SP  - 127-147
PY  - 2025
T2  - Computer Aided Verification - 37. International Conference
CY  - 21 Jul 2025 - 25 Jul 2025, Zagreb (Croatia)
Y2  - 21 Jul 2025 - 25 Jul 2025
M2  - Zagreb, Croatia
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
UR  - <Go to ISI:>//WOS:001562507100006
DO  - DOI:10.1007/978-3-031-98668-0_6
UR  - https://publications.rwth-aachen.de/record/1017691
ER  -