*Result*: Property Satisfiability Analysis for Product Lines of Modelling Languages

Title:
Property Satisfiability Analysis for Product Lines of Modelling Languages
Source:
IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 48(2):397-416 Feb, 2022
Database:
IEEE Xplore Digital Library