Andreas Classen, Arnaud Hubaux, Patrick Heymans. A Formal Semantics for Multi-level Staged Configuration. In David Benavides, Andreas Metzger, Ulrich W. Eisenecker, editors, Third International Workshop on Variability Modelling of Software-Intensive Systems, Seville, Spain, January 28-30, 2009. Proceedings. Volume 29 of ICB Research Report, pages 51-60, Universität Duisburg-Essen, 2009. [doi]
Abstract is missing.