TU Darmstadt / ULB / TUbiblio

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

Kosiol, Jens and Fritsche, Lars and Nassar, Nebras and Schürr, Andy and 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
[Conference or Workshop Item] , (2018)

Official URL: http://wadt18.cs.rhul.ac.uk/submissions/WADT18A52.pdf
Item Type: Conference or Workshop Item
Erschienen: 2018
Creators: Kosiol, Jens and Fritsche, Lars and Nassar, Nebras and Schürr, Andy and Taentzer, Gabriele
Title: Towards Establishing Consistency between Graph Transformation Rules and Atomic Graph Constraints Using Multi-Amalgamation
Language: English
Publisher: Springer
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
Event Title: 24th International Workshop on Recent Trends in Algebraic Development Techniques (WADT'18)
Date Deposited: 29 Nov 2018 10:45
Official URL: http://wadt18.cs.rhul.ac.uk/submissions/WADT18A52.pdf
Export:

Optionen (nur für Redakteure)

View Item View Item