DMCA

View-based Modelling and State-Space Generation for Graph Transformation Systems

by Niaz Arijo , Reiko Heckel , Andrew Fish , Leen Lambers , Tiziana Margaria , Julia Padberg , Gabriele Taentzer , Niaz Arijo , Reiko Heckel