Modal transition system encoding of featured transition systems
Varshosaz, Mahsa, Luthmann, Lars, Mohr, Paul, Lochau, Malte, Mousavi, Mohammad RezaVolume:
106
Language:
english
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2019.03.003
Date:
August, 2019
File:
PDF, 1.10 MB
english, 2019