@conference {351,
	title = {Probabilistic Termination: Soundness, Completeness, and Compositionality},
	booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015},
	year = {2015},
	doi = {10.1145/2676726.2677001},
	url = {http://doi.acm.org/10.1145/2676726.2677001},
	author = {Ferrer Fioriti, Luis Mar{\'\i}a and Holger Hermanns}
}