@inproceedings{damiani:hal-01760853, TITLE = {{A Formal Model for Multi SPLs}}, AUTHOR = {Damiani, Ferruccio and Lienhardt, Michael and Paolini, Luca}, URL = {https://inria.hal.science/hal-01760853}, BOOKTITLE = {{7th International Conference on Fundamentals of Software Engineering (FSEN)}}, ADDRESS = {Teheran, Iran}, EDITOR = {Mehdi Dastani and Marjan Sirjani}, PUBLISHER = {{Springer International Publishing}}, SERIES = {Fundamentals of Software Engineering}, VOLUME = {LNCS-10522}, PAGES = {67-83}, YEAR = {2017}, MONTH = Apr, DOI = {10.1007/978-3-319-68972-2\_5}, PDF = {https://inria.hal.science/hal-01760853/file/459025_1_En_5_Chapter.pdf}, HAL_ID = {hal-01760853}, HAL_VERSION = {v1}, }