Probabilistic Model Checking and Non-standard Multi-objective Reasoning
| Title | Probabilistic Model Checking and Non-standard Multi-objective Reasoning |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Baier, C, Dubslaff, C, Klüppelholz, S, Daum, M, Klein, J, Märcker, S, Wunderlich, S |
| Conference Name | Proc. of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE) |
| Publisher | Springer |
Work Package:
WP1
