TY  - RPRT
TI  - Probabilistic Resource Analysis by Program Transformation
AU  - Maja H. Kirkeby
AU  - Mads Rosendahl
PY  - 2016
DO  - 10.1007/978-3-319-46559-3_4
UR  - https://arxiv.org/abs/1608.01106
ID  - 1608.01106
ER  -