TU Darmstadt / ULB / TUbiblio

Towards Establishing Consistency between Graph Transformation Rules and Atomic Graph Constraints Using Multi-Amalgamation

Kosiol, Jens ; Fritsche, Lars ; Nassar, Nebras ; Schürr, Andy ; Taentzer, Gabriele (2018)
Towards Establishing Consistency between Graph Transformation Rules and Atomic Graph Constraints Using Multi-Amalgamation.
24th International Workshop on Recent Trends in Algebraic Development Techniques (WADT'18).
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2018
Autor(en): Kosiol, Jens ; Fritsche, Lars ; Nassar, Nebras ; Schürr, Andy ; Taentzer, Gabriele
Art des Eintrags: Bibliographie
Titel: Towards Establishing Consistency between Graph Transformation Rules and Atomic Graph Constraints Using Multi-Amalgamation
Sprache: Englisch
Publikationsjahr: 2018
Verlag: Springer
Veranstaltungstitel: 24th International Workshop on Recent Trends in Algebraic Development Techniques (WADT'18)
URL / URN: http://wadt18.cs.rhul.ac.uk/submissions/WADT18A52.pdf
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: 29 Nov 2018 10:45
Letzte Änderung: 29 Nov 2018 10:45
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