Contains the keyword semantics of visual techniques
Model Checking Graph Transformations: A Comparison of Two Approaches. In: Proc. ICGT 2004: Second International Conference on Graph Transformation. Vol 3256. Rome, Italy: Springer; 2004. p. 226-41. (LNCS; vol 3256). Abstract
