Proving Termination of Graph Transformation Systems using Weighted ...

Reference

H.J. Sander Bruggink, Barbara König, Dennis Nolte, and Hans Zantema. Proving termination of graph transformation systems using weighted type graphs over semirings, 2015. arXiv:1505.01695.

Suggested BibTeX entry:

@misc{BKNZ15a,
    author = {H.J. Sander Bruggink and Barbara K\"onig and Dennis Nolte and Hans Zantema},
    note = {arXiv:1505.01695},
    title = {Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings},
    year = {2015}
}

See arxiv.org ...Conference version