Conformance Checking with Constraint Logic Programming: The Case of Feature Models

Raúl Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed. Conformance Checking with Constraint Logic Programming: The Case of Feature Models. In Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, 18-22 July 2011. pages 456-465, IEEE Computer Society, 2011. [doi]

Authors

Raúl Mazo

This author has not been identified. Look up 'Raúl Mazo' in Google

Roberto Erick Lopez-Herrejon

This author has not been identified. Look up 'Roberto Erick Lopez-Herrejon' in Google

Camille Salinesi

This author has not been identified. Look up 'Camille Salinesi' in Google

Daniel Diaz

This author has not been identified. Look up 'Daniel Diaz' in Google

Alexander Egyed

This author has not been identified. It may be one of the following persons: Look up 'Alexander Egyed' in Google