Davide Basile, Maurice H. ter Beek, Stefania Gnesi. Modelling and analysis with featured modal contract automata. In Philippe Collet, Jianmei Guo, Jabier Martinez, Christoph Seidl, Julia Rubin, Oscar Diaz, Mukelabai Mukelabai, Thorsten Berger, editors, Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 2, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018. pages 11-16, ACM, 2018. [doi]
@inproceedings{BasileBG18,
title = {Modelling and analysis with featured modal contract automata},
author = {Davide Basile and Maurice H. ter Beek and Stefania Gnesi},
year = {2018},
doi = {10.1145/3236405.3236408},
url = {https://doi.org/10.1145/3236405.3236408},
researchr = {https://researchr.org/publication/BasileBG18},
cites = {0},
citedby = {0},
pages = {11-16},
booktitle = {Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 2, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018},
editor = {Philippe Collet and Jianmei Guo and Jabier Martinez and Christoph Seidl and Julia Rubin and Oscar Diaz and Mukelabai Mukelabai and Thorsten Berger},
publisher = {ACM},
}