Probabilistic Model Checking and Non-standard Multi-objective Reasoning

TitleProbabilistic Model Checking and Non-standard Multi-objective Reasoning
Publication TypeConference Paper
Year of Publication2014
AuthorsBaier, C, Dubslaff, C, Klüppelholz, S, Daum, M, Klein, J, Märcker, S, Wunderlich, S
Conference NameProc. of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE)
PublisherSpringer
Work Package: 
WP1