Termination Analysis for Graph Transformation Systems

Reference

H.J. Sander Bruggink, Barbara König, and Hans Zantema. Termination analysis for graph transformation systems. In Proc. of TCS '14, IFIP AICT, pages 179–194. Springer, 2014. LNCS 8705.

Suggested BibTeX entry:

@inproceedings{BKZ14,
    author = {H.J. Sander Bruggink and Barbara K{\"o}nig and Hans Zantema},
    booktitle = {Proc. of TCS '14},
    note = {{LNCS} 8705},
    pages = {179--194},
    publisher = {Springer},
    series = {IFIP AICT},
    title = {Termination Analysis for Graph Transformation Systems},
    year = {2014}
}

This work is not available online here.