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