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).
Conference or Workshop Item, Bibliographie

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