TY  - RPRT
TI  - Runtime Analysis of Probabilistic Programs with Unbounded Recursion
AU  - Tomas Brazdil
AU  - Stefan Kiefer
AU  - Antonin Kucera
AU  - Ivana Hutarova Varekova
PY  - 2012
UR  - https://arxiv.org/abs/1007.1710
ID  - 1007.1710
ER  -