cfaed Publications
Probabilistic Model Checking and Non-standard Multi-objective Reasoning
Reference
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich, "Probabilistic Model Checking and Non-standard Multi-objective Reasoning", Chapter in Fundamental Approaches to Software Engineering, Springer, pp. 1–16, 2014. [doi]
Bibtex
@incollection{baier2014probabilistic,
title={Probabilistic Model Checking and Non-standard Multi-objective Reasoning},
author={Baier, Christel and Dubslaff, Clemens and Kl{\"u}ppelholz, Sascha and Daum, Marcus and Klein, Joachim and M{\"a}rcker, Steffen and Wunderlich, Sascha},
booktitle={Fundamental Approaches to Software Engineering},
pages={1--16},
year={2014},
publisher={Springer},
doi={10.1007/978-3-642-54804-8_1}
}
title={Probabilistic Model Checking and Non-standard Multi-objective Reasoning},
author={Baier, Christel and Dubslaff, Clemens and Kl{\"u}ppelholz, Sascha and Daum, Marcus and Klein, Joachim and M{\"a}rcker, Steffen and Wunderlich, Sascha},
booktitle={Fundamental Approaches to Software Engineering},
pages={1--16},
year={2014},
publisher={Springer},
doi={10.1007/978-3-642-54804-8_1}
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=56