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}
}



PDF (197 kB)See ceur-ws.org ...
© University of Duisburg-Essen, Theoretical Computer Science group