%0 Journal Article %1 journals/corr/0001DKKW16 %A Jansen, Nils %A Dehnert, Christian %A Kaminski, Benjamin Lucien %A Katoen, Joost-Pieter %A Westhofen, Lukas %D 2016 %J CoRR %K %T Bounded Model Checking for Probabilistic Programs. %U http://dblp.uni-trier.de/db/journals/corr/corr1605.html#0001DKKW16 %V abs/1605.04477

@article{journals/corr/0001DKKW16, added-at = {2023-12-13T10:07:44.000+0100}, author = {Jansen, Nils and Dehnert, Christian and Kaminski, Benjamin Lucien and Katoen, Joost-Pieter and Westhofen, Lukas}, biburl = {https://www.bibsonomy.org/bibtex/25368f9651023ccf4f4d491ce39be0613/admin}, ee = {http://arxiv.org/abs/1605.04477}, interhash = {d51a18bb13a8c69bf24034a1f0206e1c}, intrahash = {5368f9651023ccf4f4d491ce39be0613}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T10:07:44.000+0100}, title = {Bounded Model Checking for Probabilistic Programs.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1605.html#0001DKKW16}, volume = {abs/1605.04477}, year = 2016 }