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,
}











