Probabilistic Model Checking and Non-standard Multi-objective Reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. In Stefania Gnesi, Arend Rensink, editors, Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Volume 8411 of Lecture Notes in Computer Science, pages 1-16, Springer, 2014. [doi]

This author has not been identified. Look up 'Christel Baier' in GoogleThis author has not been identified. Look up 'Clemens Dubslaff' in GoogleThis author has not been identified. Look up 'Sascha Klüppelholz' in GoogleThis author has not been identified. Look up 'Marcus Daum' in GoogleThis author has not been identified. Look up 'Joachim Klein' in GoogleThis author has not been identified. Look up 'Steffen Märcker' in GoogleThis author has not been identified. Look up 'Sascha Wunderlich' in Google

runs on WebDSL