TY  - RPRT
TI  - A framework for quantitative modeling and analysis of highly (re)configurable systems
AU  - Maurice H. ter Beek
AU  - Axel Legay
AU  - Alberto Lluch Lafuente
AU  - Andrea Vandin
PY  - 2018
UR  - https://arxiv.org/abs/1707.08411
ID  - 1707.08411
ER  -