A Formal Semantics for Multi-level Staged Configuration: Extended version of a paper submitted to the Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), Sevilla, Spain, January 2009
title = "A Formal Semantics for Multi-level Staged Configuration: Extended version of a paper submitted to the Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), Sevilla, Spain, January 2009",
author = "Andreas Classen and Arnaud Hubaux and Patrick Heymans",
T1 - A Formal Semantics for Multi-level Staged Configuration
T2 - Extended version of a paper submitted to the Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), Sevilla, Spain, January 2009