TY  - RPRT
TI  - Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
AU  - Deren Lin
AU  - Tianrong Lin
PY  - 2025
UR  - https://arxiv.org/abs/1405.4806
ID  - 1405.4806
ER  -