Faiz Ul Muram, Samina Kanwal, Muhammad Atif Javed. Supporting Automated Verification of Reconfigurable Systems with Product Lines and Model Checking. In Raian Ali, Hermann Kaindl, Leszek A. Maciaszek, editors, Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2021, Online Streaming, April 26-27, 2021. pages 297-305, SCITEPRESS, 2021. [doi]
Abstract is missing.