Inproceedings,
Parameter Synthesis for Probabilistic Systems.
C. Dehnert, S. Junges, N. Jansen, F. Corzilius, M. Volk, J. Katoen, E. Ábrahám, and H. Bruintjes.MBMV, page 72-74. Albert-Ludwigs-Universität Freiburg, (2016)
Meta data
- BibTeX key
- conf/mbmv/DehnertJ0CVKAB16
- entry type
- inproceedings
- booktitle
- MBMV
- year
- 2016
- pages
- 72-74
- publisher
- Albert-Ludwigs-Universität Freiburg
- crossref
- conf/mbmv/2016
- ee
- https://doi.org/10.6094/UNIFR/10639
- isbn
- 978-3-00-052380-9
- url
- http://dblp.uni-trier.de/db/conf/mbmv/mbmv2016.html#DehnertJ0CVKAB16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/mbmv/DehnertJ0CVKAB16
%A Dehnert, Christian
%A Junges, Sebastian
%A Jansen, Nils
%A Corzilius, Florian
%A Volk, Matthias
%A Katoen, Joost-Pieter
%A Ábrahám, Erika
%A Bruintjes, Harold
%B MBMV
%D 2016
%E Wimmer, Ralf
%I Albert-Ludwigs-Universität Freiburg
%K
%P 72-74
%T Parameter Synthesis for Probabilistic Systems.
%U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2016.html#DehnertJ0CVKAB16
%@ 978-3-00-052380-9
@inproceedings{conf/mbmv/DehnertJ0CVKAB16,
added-at = {2023-12-13T04:23:03.000+0100},
author = {Dehnert, Christian and Junges, Sebastian and Jansen, Nils and Corzilius, Florian and Volk, Matthias and Katoen, Joost-Pieter and Ábrahám, Erika and Bruintjes, Harold},
biburl = {https://www.bibsonomy.org/bibtex/25d6f7711b24c0515e5684a5868435e67/admin},
booktitle = {MBMV},
crossref = {conf/mbmv/2016},
editor = {Wimmer, Ralf},
ee = {https://doi.org/10.6094/UNIFR/10639},
interhash = {951d83c7a70a7e4e24257dadc1cb8d1d},
intrahash = {5d6f7711b24c0515e5684a5868435e67},
isbn = {978-3-00-052380-9},
keywords = {},
pages = {72-74},
publisher = {Albert-Ludwigs-Universität Freiburg},
timestamp = {2023-12-13T04:23:03.000+0100},
title = {Parameter Synthesis for Probabilistic Systems.},
url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2016.html#DehnertJ0CVKAB16},
year = 2016
}