@inproceedings{quinton:hal-01054604, TITLE = {{Consistency Checking for the Evolution of Cardinality-based Feature Models}}, AUTHOR = {Quinton, Cl{\'e}ment and Pleuss, Andreas and Le Berre, Daniel and Duchien, Laurence and Botterweck, Goetz}, URL = {https://inria.hal.science/hal-01054604}, BOOKTITLE = {{SPLC - 18th International Software Product Line Conference}}, ADDRESS = {Florence, Italy}, PAGES = {122-131}, YEAR = {2014}, MONTH = Sep, PDF = {https://inria.hal.science/hal-01054604/file/splc.pdf}, HAL_ID = {hal-01054604}, HAL_VERSION = {v1}, }