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. In Joël Ouaknine, Igor Potapov, and James Worrell, editors, RP'14, volume 8762 of LNCS, pages 72–84. Springer, 2014.
Suggested BibTeX entry:
@inproceedings{DS2014,
author = {Giorgio Delzanno and Jan St{\"u}ckrath},
booktitle = {RP'14},
editor = {Jo{\"e}l Ouaknine and Igor Potapov and James Worrell},
pages = {72--84},
publisher = {Springer},
series = {LNCS},
title = {Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations},
volume = {8762},
year = {2014}
}
