2019

Varshosaz, Mahsa ; Luthmann, Lars ; Mohr, Paul ; Lochau, Malte ; Mousavi, Mohammad Reza (2019)
Modal transition system encoding of featured transition systems.
In: Journal of Logical and Algebraic Methods in Programming, 106
doi: 10.1016/j.jlamp.2019.03.003
Artikel, Bibliographie

2017

Varshosaz, Mahsa ; Mousavi, Mohammad Reza ; Luthmann, Lars ; Lochau, Malte (2017)
Expressive Power and Encoding of Transition System Models for Software Product Lines.
29th Nordic Workshop on Programming Theory (NWPT'17).
Konferenzveröffentlichung, Bibliographie