TITLE     : Towards a feature mu-calculus targeting SPL verification
AUTHOR(S) : Ter Beek Mh, De Vink Ep, Willemse Ta
TYPE      : Conference article
YEAR      : 2016
CODE      : 354147

*** DO NOT EDIT THIS FILE ***