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 :
Towards Establishing Consistency between Graph Transformation Rules and Atomic Graph Constraints Using Multi-Amalgamation.
[Online-Edition: http://wadt18.cs.rhul.ac.uk/submissions/WADT18A52.pdf]
In: 24th International Workshop on Recent Trends in Algebraic Development Techniques (WADT'18). Springer
[Konferenz- oder Workshop-Beitrag] , (2018)

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

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen