![](/img/cover-not-exists.png)
Incremental model checking of delta-oriented software product lines
Lochau, Malte, Mennicke, Stephan, Baller, Hauke, Ribbeck, LarsLanguage:
english
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2015.09.004
Date:
September, 2015
File:
PDF, 1.96 MB
english, 2015