Graph Transformation, Specifications, and Nets - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319753959, 9783319753966
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Verigraph System for Graph Transformation

2018 ◽  
pp. 160-178 ◽  
Author(s):  
Guilherme Grochau Azzi ◽  
Jonas Santos Bezerra ◽  
Leila Ribeiro ◽  
Andrei Costa ◽  
Leonardo Marques Rodrigues ◽  
...  
Keyword(s):  
Graph Transformation

Initial Conflicts and Dependencies: Critical Pairs Revisited

2018 ◽  
pp. 105-123 ◽  
Author(s):  
Leen Lambers ◽  
Kristopher Born ◽  
Fernando Orejas ◽  
Daniel Strüber ◽  
Gabriele Taentzer
Keyword(s):  
Critical Pairs

scholarly journals Towards a Navigational Logic for Graphical Structures

2018 ◽  
pp. 124-141 ◽  
Author(s):  
Leen Lambers ◽  
Marisa Navarro ◽  
Fernando Orejas ◽  
Elvira Pino

scholarly journals On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches

2018 ◽  
pp. 1-18 ◽  
Author(s):  
Andrea Corradini ◽  
Dominique Duval ◽  
Michael Löwe ◽  
Leila Ribeiro ◽  
Rodrigo Machado ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document