TY - RPRT TI - Towards A Shape Analysis for Graph Transformation Systems AU - Dominik Steenken AU - Heike Wehrheim AU - Daniel Wonisch PY - 2010 UR - https://arxiv.org/abs/1010.4423 ID - 1010.4423 ER -