@inbook{c7b971b2cdeb439bb44e0d797d3cd60d,
title = "Probabilistic Model Checking for Feature-Oriented Systems",
author = "Clemens Dubslaff and Christel Baier and Sascha Kl{\"u}ppelholz",
year = "2015",
doi = "10.1007/978-3-662-46734-3_5",
language = "Niet gedefinieerd",
isbn = "978-3-662-46733-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "180--220",
editor = "Shigeru Chiba and {\'E}ric Tanter and Erik Ernst and Robert Hirschfeld",
booktitle = "Transactions on Aspect Oriented Software Development XII",
address = "Duitsland",
}