@inproceedings{ASM:DICE:19,
 author    = "M. Avanzini and M. Schaper and G. Moser",
 title     = {{Modular Runtime Complexity Analysis of Probabilistic While Programs}},
 booktitle = "Proceedings of the Workshop on Developments in Implicit Computational complExity and Workshop on Foundational and Practical Aspects of Resource Analysis 2019",
 year      = 2019,
}