The Semantics of Cardinality-Based Feature Models via Formal Languages

Aliakbar Safilian, Tom Maibaum, Zinovy Diskin. The Semantics of Cardinality-Based Feature Models via Formal Languages. In Nikolaj Bjørner, Frank D. de Boer, editors, FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Volume 9109 of Lecture Notes in Computer Science, pages 453-469, Springer, 2015. [doi]

Authors

Aliakbar Safilian

This author has not been identified. Look up 'Aliakbar Safilian' in Google

Tom Maibaum

This author has not been identified. Look up 'Tom Maibaum' in Google

Zinovy Diskin

This author has not been identified. Look up 'Zinovy Diskin' in Google