Criteria for the verification of feature models

Camille Salinesi, Raúl Mazo, Daniel Diaz. Criteria for the verification of feature models. In Actes du XXVIIIème Congrès INFORSID, Marseille, France, 25-28 mai 2010. pages 293-308, 2010.

@inproceedings{SalinesiMD10,
  title = {Criteria for the verification of feature models},
  author = {Camille Salinesi and Raúl Mazo and Daniel Diaz},
  year = {2010},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/SalinesiMD10},
  cites = {0},
  citedby = {0},
  pages = {293-308},
  booktitle = {Actes du XXVIIIème Congrès INFORSID, Marseille, France, 25-28 mai 2010},
}