Parameterized Verification of Graph Transformation Systems with Whole ...
Reference
Giorgio Delzanno and Jan Stückrath. Parameterized verification of graph transformation systems with whole neighbourhood operations, 2014. arXiv:1407.4394.
Suggested BibTeX entry:
@misc{DS2014arxiv,
author = {Giorgio Delzanno and Jan St{\"u}ckrath},
note = {arXiv:1407.4394},
title = {Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations},
year = {2014}
}
