Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat
FASE, 2016.
@inproceedings{FASE-2016-ChrszonDKB, author = "Philipp Chrszon and Clemens Dubslaff and Sascha Klüppelholz and Christel Baier", booktitle = "{Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering}", doi = "10.1007/978-3-662-49665-7_17", isbn = "978-3-662-49664-0", pages = "287--304", publisher = "{Springer}", title = "{Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat}", year = 2016, }