Ralph Hoch, Hermann Kaindl. Verification of Feature Coordination using the Fluent Calculus. In Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, editors, Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018. pages 169-179, SciTePress, 2018. [doi]
Abstract is missing.