TY  - RPRT
TI  - Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking
AU  - Maurice H. ter Beek
AU  - Axel Legay
AU  - Alberto Lluch Lafuente
AU  - Andrea Vandin
PY  - 2015
DO  - 10.4204/eptcs.182.5
UR  - https://arxiv.org/abs/1504.03476
ID  - 1504.03476
ER  -