![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Electronic Communication of the European Association of Software Science and Technology, Volume 67
Volume 67, 2014
- Frank Hermann, Stefan Sauer:
13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014): Preface.
- Abdullah M. Alshanqiti, Reiko Heckel:
Towards Dynamic Reverse Engineering Visual Contracts from Java. - Christian Brenner, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, Matthias Tichy:
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. - Frederik Deckwerth, Gergely Varró:
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation. - Mudhafar Hussein, Reiko Heckel, Vincent Danos, Pawel Sobocinski:
Modelling Adaptive Networks: The Case of the Petrified Voters. - Erhan Leblebici, Anthony Anjorin, Andy Schürr, Stephan Hildebrandt, Jan Rieke, Joel Greenyer:
A Comparison of Incremental Triple Graph Grammar Tools. - Jan Stückrath, Benjamin Weyers:
Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models. - Xiaoliang Wang, Fabian Büttner, Yngve Lamo:
Verification of Graph-based Model Transformations Using Alloy. - Eduardo Zambon, Arend Rensink:
Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices.
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.