Contains the keyword semantics of visual techniques

Rensink A, Schmidt Á, Varró D. 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
Tartalom átvétel