Analysis and Abstraction of Graph Transformation Systems via Type ...
Reference
Dennis Nolte. Analysis and abstraction of graph transformation systems via type graphs. In STAF 2017 Doctoral Symposium, volume 1955 of CEUR Workshop Proceedings, 2017.
Suggested BibTeX entry:
@inproceedings{NOL17a,
author = {Dennis Nolte},
booktitle = {STAF 2017 Doctoral Symposium},
series = {CEUR Workshop Proceedings},
title = {Analysis and Abstraction of Graph Transformation Systems via Type Graphs},
volume = {1955},
year = {2017}
}