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, 106, pp. 1 - 28. Elsevier, DOI: 10.1016/j.jlamp.2019.03.003,
[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
Journal 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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details