A view-oriented approach to system modelling based on graph transformation
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Bisimulation Equivalences for Graph Grammars
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Bisimulation equivalences for graph grammars
Formal and natural computing
Verification of DSMLs using graph transformation: a case study with Alloy
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Hi-index | 0.00 |