TY  - RPRT
TI  - Towards a Feature mu-Calculus Targeting SPL Verification
AU  - Maurice H. ter Beek
AU  - Erik P. de Vink
AU  - Tim A. C. Willemse
PY  - 2016
DO  - 10.4204/eptcs.206.6
UR  - https://arxiv.org/abs/1604.00350
ID  - 1604.00350
ER  -