Article,
Sampling-Based Verification of CTMCs with Uncertain Rates.
T. Badings, N. Jansen, S. Junges, M. Stoelinga, and M. Volk.CoRR, (2022)
Meta data
- BibTeX key
- journals/corr/abs-2205-08300
- entry type
- article
- year
- 2022
- journal
- CoRR
- volume
- abs/2205.08300
- ee
- https://doi.org/10.48550/arXiv.2205.08300
- url
- http://dblp.uni-trier.de/db/journals/corr/corr2205.html#abs-2205-08300
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/abs-2205-08300
%A Badings, Thom S.
%A Jansen, Nils
%A Junges, Sebastian
%A Stoelinga, Mariëlle
%A Volk, Matthias
%D 2022
%J CoRR
%K dblp
%T Sampling-Based Verification of CTMCs with Uncertain Rates.
%U http://dblp.uni-trier.de/db/journals/corr/corr2205.html#abs-2205-08300
%V abs/2205.08300
@article{journals/corr/abs-2205-08300,
added-at = {2024-05-07T00:00:00.000+0200},
author = {Badings, Thom S. and Jansen, Nils and Junges, Sebastian and Stoelinga, Mariëlle and Volk, Matthias},
biburl = {https://www.bibsonomy.org/bibtex/234408fd824e65ca27e2b6b7ae2871dc4/dblp},
ee = {https://doi.org/10.48550/arXiv.2205.08300},
interhash = {b442f713cdbd86fe48e7a5d8962a4a5e},
intrahash = {34408fd824e65ca27e2b6b7ae2871dc4},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-05-13T07:38:16.000+0200},
title = {Sampling-Based Verification of CTMCs with Uncertain Rates.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2205.html#abs-2205-08300},
volume = {abs/2205.08300},
year = 2022
}