Analysis and Abstraction of Graph Transformation Systems via Type ...
Reference
Dennis Nolte. Analysis and abstraction of graph transformation systems via type graphs. In Proc. of ICGT '17 (International Conference on Graph Transformation), Proc. of the Doctoral Symposium. Springer, 2017.
Suggested BibTeX entry:
@inproceedings{NOL17,
author = {Dennis Nolte},
booktitle = {Proc. of ICGT '17 (International Conference on Graph Transformation), Proc. of the Doctoral Symposium},
publisher = {Springer},
title = {Analysis and Abstraction of Graph Transformation Systems via Type Graphs},
year = {2017}
}