TY  - RPRT
TI  - Model Checking Probabilistic Pushdown Automata
AU  - Javier Esparza
AU  - Antonin Kucera
AU  - Richard Mayr
PY  - 2006
DO  - 10.2168/lmcs-2(1:2)2006
UR  - https://arxiv.org/abs/cs/0508003
ID  - cs/0508003
ER  -