Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen. Product Line Verification via Modal Meta Model Checking. In Maurice H. ter Beek, Alessandro Fantechi, Laura Semini, editors, From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Volume 11865 of Lecture Notes in Computer Science, pages 313-337, Springer, 2019. [doi]
Abstract is missing.