Electronic Communication of the European Association of Software Science and Technology, Volume 47
Graph Transformation and Visual Modeling Techniques
, Leen Lambers
: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques.
: Instance Generation from Type Graphs with Arbitrary Multiplicities.
: Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO.