Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski
Family-based model checking using off-the-shelf model checkers: extended abstract
SPLC, 2015.
@inproceedings{SPLC-2015-DimovskiABW,
author = "Aleksandar S. Dimovski and Ahmad Salim Al-Sibahi and Claus Brabrand and Andrzej Wasowski",
booktitle = "{Proceedings of the 19th International Software Product Line Conference}",
doi = "10.1145/2791060.2791119",
isbn = "978-1-4503-3613-0",
pages = "397",
publisher = "{ACM}",
title = "{Family-based model checking using off-the-shelf model checkers: extended abstract}",
year = 2015,
}