Anna Schmitt 0002, Christian Bettinger, Georg Rock. Glencoe - A Tool for Specification, Visualization and Formal Analysis of Product Lines. In Margherita Peruzzini, Marcello Pellicciari, Cees Bil, Josip Stjepandic, Nel Wognum, editors, Transdisciplinary Engineering Methods for Social Innovation of Industry 4.0 - Proceedings of the 25th ISPE Inc. International Conference on Transdisciplinary Engineering, TE 2018, Modena, Italy, July 3-6, 2018. Volume 7 of Advances in Transdisciplinary Engineering, pages 665-673, IOS Press, 2018. [doi]
Abstract is missing.