Publication
Title
Specification and verification of graph-based model transformation properties
Author
Language
English
Source (journal)
Lecture notes in computer science. - Berlin, 1973, currens
Source (book)
Graph Transformation : 7th International Conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22-24, 2014: proceedings / Giese, Holger [edit.]
Source (series)
Lecture notes in computer science ; 8571
Publication
Cham : Springer , 2014
ISBN
978-3-319-09107-5
Volume/pages
p. 113-129
Full text (Publisher's DOI)
UAntwerpen
Publication type
Subject
External links
Record
Identifier
Creation 26.11.2018
Last edited 12.10.2020