TU Darmstadt / ULB / TUbiblio

Modal transition system encoding of featured transition systems

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

Typ des Eintrags: Artikel
Erschienen: 2019
Autor(en): Varshosaz, Mahsa ; Luthmann, Lars ; Mohr, Paul ; Lochau, Malte ; Mousavi, Mohammad Reza
Art des Eintrags: Bibliographie
Titel: Modal transition system encoding of featured transition systems
Sprache: Englisch
Publikationsjahr: 2019
Verlag: Elsevier
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Journal of Logical and Algebraic Methods in Programming
Jahrgang/Volume einer Zeitschrift: 106
DOI: 10.1016/j.jlamp.2019.03.003
URL / URN: http://www.sciencedirect.com/science/article/pii/S2352220818...
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik
Hinterlegungsdatum: 19 Apr 2019 09:11
Letzte Änderung: 19 Apr 2019 09:11
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen