TY  - RPRT
TI  - Bounded Model Checking for Probabilistic Programs
AU  - Nils Jansen
AU  - Christian Dehnert
AU  - Benjamin Lucien Kaminski
AU  - Joost-Pieter Katoen
AU  - Lukas Westhofen
PY  - 2016
UR  - https://arxiv.org/abs/1605.04477
ID  - 1605.04477
ER  -