![]() | ![]() |
2006 | ||
---|---|---|
3 | EE | David Benavides, Sergio Segura, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés: Using Java CSP Solvers in the Automated Analyses of Feature Models. GTTSE 2006: 399-408 |
2005 | ||
2 | EE | David Benavides, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés: Automated Reasoning on Feature Models. CAiSE 2005: 491-503 |
1 | David Benavides, Antonio Ruiz Cortés, Carlos Müller, Pablo Trinidad Martín-Arroyo: The Triple Schizophrenia of the Software Engineering Researcher. CAiSE Workshops (2) 2005: 529-534 |
1 | David Benavides (David Felipe Benavides Cuevas) | [1] [2] [3] |
2 | Antonio Ruiz Cortés | [1] [2] [3] |
3 | Carlos Müller | [1] |
4 | Sergio Segura | [3] |