TY  - RPRT
TI  - Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations
AU  - Giorgio Delzanno
AU  - Jan Stückrath
PY  - 2014
UR  - https://arxiv.org/abs/1407.4394
ID  - 1407.4394
ER  -