Frederik Deckwerth, Gergely Varró
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation
GT-VMT, 2014.
@article{GT-VMT-2014-DeckwerthV, author = "Frederik Deckwerth and Gergely Varró", ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/945", journal = "{Electronic Communications of the EASST}", title = "{Generating Preconditions from Graph Constraints by Higher Order Graph Transformation}", volume = 67, year = 2014, }