Jansen, N; Dehnert, C; Kaminski, BL; Katoen, J-P; Westhofen, L; (2016) Bounded Model Checking for Probabilistic Programs. In: Artho, C and Legay, A and Peled, D, (eds.) Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. (pp. pp. 68-85). Springer: Cham, Switzerland. Green open access