Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfrè, Michael Lienhardt. Static analysis and family-based model checking of featured transition systems with VMC. In Mohammad Mousavi, Pierre-Yves Schobbens, editors, SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kindom, September 6-11, 2021, Volume B. pages 24-27, ACM, 2021. [doi]
@inproceedings{BeekMDPSVL21,
title = {Static analysis and family-based model checking of featured transition systems with VMC},
author = {Maurice H. ter Beek and Franco Mazzanti and Ferruccio Damiani and Luca Paolini and Giordano Scarso and Michele Valfrè and Michael Lienhardt},
year = {2021},
doi = {10.1145/3461002.3473071},
url = {https://doi.org/10.1145/3461002.3473071},
researchr = {https://researchr.org/publication/BeekMDPSVL21},
cites = {0},
citedby = {0},
pages = {24-27},
booktitle = {SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kindom, September 6-11, 2021, Volume B},
editor = {Mohammad Mousavi and Pierre-Yves Schobbens},
publisher = {ACM},
isbn = {978-1-4503-8470-4},
}