Article,
Bounded Model Checking for Probabilistic Programs.
N. Jansen, C. Dehnert, B. Kaminski, J. Katoen, and L. Westhofen.CoRR, (2016)
Meta data
- BibTeX key
- journals/corr/0001DKKW16
- entry type
- article
- year
- 2016
- journal
- CoRR
- volume
- abs/1605.04477
- ee
- http://arxiv.org/abs/1605.04477
- url
- http://dblp.uni-trier.de/db/journals/corr/corr1605.html#0001DKKW16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}