cfaed Publications

Advances in Symbolic Probabilistic Model Checking with PRISM

Reference

Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller, "Advances in Symbolic Probabilistic Model Checking with PRISM" , In Proceeding: Proc. of the 22th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, vol. 9636, pp. 349–366, 2016.

Bibtex

@inproceedings{KBCDDKMM16,
author = {Joachim Klein and Christel Baier and Philipp Chrszon and Marcus Daum and Clemens Dubslaff and Sascha Kl{\"u}ppelholz and Steffen M{\"a}rcker and David M{\"u}ller},
title = {Advances in Symbolic Probabilistic
Model Checking with {PRISM}},
booktitle = {Proc. of the 22th International Conference on
Tools and Algorithms
for the Construction and Analysis of Systems (TACAS)},
pages = {349--366},
year = {2016},
series = {Lecture Notes in Computer Science},
volume = {9636},
publisher = {Springer},
ee = {http://dx.doi.org/10.1007/978-3-662-49674-9_20},
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=1198


Go back to publications list