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

Raúl Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of the 35th Computer Software and Applications Conference (COMPSAC)
Number of pages	10
Publication status	Published - 2011

Fields of science

@inproceedings{60789078eb1f48a89798c6e6d334a3be,

title = "Conformance Checking with Constraint Logic Programming: The Case of Feature Models",

author = "Ra{\'u}l Mazo and Lopez-Herrejon, {Roberto Erick} and Camille Salinesi and Daniel Diaz and Alexander Egyed",

year = "2011",

language = "English",

booktitle = "Proceedings of the 35th Computer Software and Applications Conference (COMPSAC)",

}