@Inproceedings{EPTCS206.3, author = {Deckwerth, Frederik and Kulcs\'ar, G\'eza and Lochau, Malte and Varr\'o, Gergely and Sch\"urr, Andy}, year = {2016}, title = {Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation}, editor = {Rubin, Julia and Th\"um, Thomas}, booktitle = {{\rm Proceedings 7th International Workshop on} Formal Methods and Analysis in Software Product Line Engineering, {\rm Eindhoven, The Netherlands, April 3, 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {206}, publisher = {Open Publishing Association}, pages = {17-31}, doi = {10.4204/EPTCS.206.3}, }