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