TU Darmstadt / ULB / TUbiblio

Modal transition system encoding of featured transition systems

Varshosaz, Mahsa and Luthmann, Lars and Mohr, Paul and Lochau, Malte and Mousavi, Mohammad Reza (2019):
Modal transition system encoding of featured transition systems.
In: Journal of Logical and Algebraic Methods in Programming, Elsevier, pp. 1 - 28, 106, DOI: 10.1016/j.jlamp.2019.03.003, [Online-Edition: http://www.sciencedirect.com/science/article/pii/S2352220818...],
[Article]

Item Type: Article
Erschienen: 2019
Creators: Varshosaz, Mahsa and Luthmann, Lars and Mohr, Paul and Lochau, Malte and Mousavi, Mohammad Reza
Title: Modal transition system encoding of featured transition systems
Language: English
Journal or Publication Title: Journal of Logical and Algebraic Methods in Programming
Volume: 106
Publisher: Elsevier
Divisions: 18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
Date Deposited: 19 Apr 2019 09:11
DOI: 10.1016/j.jlamp.2019.03.003
Official URL: http://www.sciencedirect.com/science/article/pii/S2352220818...
Export:

Optionen (nur für Redakteure)

View Item View Item