%0 Conference Paper %1 conf/inforsid/SalinesiMD10 %A Salinesi, Camille %A Mazo, Raúl %A Diaz, Daniel %B INFORSID %D 2010 %K %P 293-308 %T Criteria for the verification of feature models. %U http://dblp.uni-trier.de/db/conf/inforsid/inforsid2010.html#SalinesiMD10

@inproceedings{conf/inforsid/SalinesiMD10, added-at = {2023-12-13T07:54:55.000+0100}, author = {Salinesi, Camille and Mazo, Raúl and Diaz, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2b0a8daeada60bbb81de02e86e3981b9c/admin}, booktitle = {INFORSID}, crossref = {conf/inforsid/2010}, interhash = {bec393f7eb514768c8bed4b11ce76021}, intrahash = {b0a8daeada60bbb81de02e86e3981b9c}, keywords = {}, pages = {293-308}, timestamp = {2023-12-13T07:54:55.000+0100}, title = {Criteria for the verification of feature models.}, url = {http://dblp.uni-trier.de/db/conf/inforsid/inforsid2010.html#SalinesiMD10}, year = 2010 }