| [2] | Using constraint programming to verify DOPLER variability models (Raúl Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, Daniel Diaz), (Patrick Heymans, Krzysztof Czarnecki, Ulrich W. Eisenecker, eds.), ACM, 2011.
[bib] [doi] |
| [1] | Conformance Checking with Constraint Logic Programming: The Case of Feature Models. (Raúl Mazo, Roberto E. Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed), In Proceedings of the 35th Computer Software and Applications Conference (COMPSAC 2011), Munich, Germany, IEEE Computer Society, 2011.
[bib] [pdf] [doi] |