Pages that link to "Item:Q631573"

The following pages link to Symbolic graphs for attributed graph constraints (Q631573):

Displaying 10 items.

• Well-structured graph transformation systems (Q729812) (← links)
• A navigational logic for reasoning about graph properties (Q1996850) (← links)
• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
• A structural approach to graph transformation based on symmetric Petri nets (Q2035652) (← links)
• Compositional analysis of probabilistic timed graph transformation systems (Q2044184) (← links)
• Interval probabilistic timed graph transformation systems (Q2117267) (← links)
• Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
• Satisfiability of Constraint Specifications on XML Documents (Q2945725) (← links)
• Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (Q2947219) (← links)
• Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (Q6151620) (← links)