h1

h2

h3

h4

h5
h6
TY  - JOUR
AU  - Winkler, Tobias
AU  - Gehnen, Christina
AU  - Katoen, Joost-Pieter
TI  - Model Checking Temporal Properties of Recursive Probabilistic Programs
JO  - Logical methods in computer science
VL  - 19
IS  - 4
SN  - 1860-5974
CY  - Braunschweig
PB  - Department of Theoretical Computer Science, Technical University of Braunschweig
M1  - RWTH-2024-00484
SP  - 24
PY  - 2023
LB  - PUB:(DE-HGF)16
UR  - <Go to ISI:>//WOS:001127000000001
DO  - DOI:10.46298/lmcs-19(4:24)2023
UR  - https://publications.rwth-aachen.de/record/976967
ER  -