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. In Proc. of ICGT '15 (International Conference on Graph Transformation), pages 52–68. Springer, 2015. LNCS 9151.
Suggested BibTeX entry:
@inproceedings{BKNZ15,
author = {H.J. Sander Bruggink and Barbara K{\"o}nig and Dennis Nolte and Hans Zantema},
booktitle = {Proc. of ICGT '15 (International Conference on Graph Transformation)},
note = {{LNCS} 9151},
pages = {52--68},
publisher = {Springer},
title = {Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings},
year = {2015}
}