Automated Reasoning on Feature Models

David Benavides, Pablo Trinidad, Antonio Ruiz Cortés. Automated Reasoning on Feature Models. In Janis A. Bubenko Jr., John Krogstie, Oscar Pastor, Barbara Pernici, Colette Rolland, Arne Sølvberg, editors, Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE. pages 361-373, Springer, 2013. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.