Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael ; Paolini, Luca
Hrsg.: Mousavi, Mohammad Reza ; Schobbens, Pierre-Yves (2021)
Variability modules for Java-like languages.
25th ACM International Systems and Software Product Line Conference. virtual Conference (06.09.2021-11.09.2021)
doi: 10.1145/3461001.3471143
Konferenzveröffentlichung, Bibliographie

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

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