TY  - RPRT
TI  - Model Checking Temporal Properties of Recursive Probabilistic Programs
AU  - Tobias Winkler
AU  - Christina Gehnen
AU  - Joost-Pieter Katoen
PY  - 2023
DO  - 10.46298/lmcs-19(4:24)2023
UR  - https://arxiv.org/abs/2111.03501
ID  - 2111.03501
ER  -