Deckwerth, F., & VarrĂ³, G. (2014). Generating Preconditions from Graph Constraints by Higher Order Graph Transformation.
Electronic Communications of the EASST
,
67
. https://doi.org/10.14279/tuj.eceasst.67.945