Generating Preconditions from Graph Constraints by Higher Order Graph Transformation

Frederik Deckwerth, Gergely VarrĂ³. Generating Preconditions from Graph Constraints by Higher Order Graph Transformation. ECEASST, 67, 2014. [doi]