Fabian Benduhn, Thomas Thüm, Malte Lochau, Thomas Leich, Gunter Saake. A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines. In Klaus Schmid, Øystein Haugen, Johannes Müller, editors, Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '15, Hildesheim, Germany, January 21-23, 2015. pages 80, ACM, 2015. [doi]
Abstract is missing.