[ACM Press the 19th International Conference - Nashville, Tennessee (2015.07.20-2015.07.24)] Proceedings of the 19th International Conference on Software Product Line - SPLC '15 - Family-based model checking using off-the-shelf model checkers
Dimovski, Aleksandar S., Al-Sibahi, Ahmad Salim, Brabrand, Claus, Wąsowski, AndrzejYear:
2015
Language:
english
DOI:
10.1145/2791060.2791119
File:
PDF, 586 KB
english, 2015