Christian Dehnert, Sebastian Junges, Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes. Parameter Synthesis for Probabilistic Systems. In Ralf Wimmer, editor, 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2016, Freiburg im Breisgau, Germany, March 1-2, 2016. pages 72-74, Albert-Ludwigs-Universität Freiburg, 2016. [doi]
@inproceedings{DehnertJ0CVKAB16,
title = {Parameter Synthesis for Probabilistic Systems},
author = {Christian Dehnert and Sebastian Junges and Nils Jansen 0001 and Florian Corzilius and Matthias Volk 0001 and Joost-Pieter Katoen and Erika Ábrahám and Harold Bruintjes},
year = {2016},
doi = {10.6094/UNIFR/10639},
url = {http://dx.doi.org/10.6094/UNIFR/10639},
researchr = {https://researchr.org/publication/DehnertJ0CVKAB16},
cites = {0},
citedby = {0},
pages = {72-74},
booktitle = {19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2016, Freiburg im Breisgau, Germany, March 1-2, 2016},
editor = {Ralf Wimmer},
publisher = {Albert-Ludwigs-Universität Freiburg},
isbn = {978-3-00-052380-9},
}