Pages that link to "Item:Q631573"

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

Displaying 15 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)
• Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (Q5100737) (← links)
• Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic (Q5100739) (← links)
• Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (Q6151620) (← links)
• A reasoning system for satisfiability of diagrammatic specifications (Q6599622) (← links)
• Compositional analysis of probabilistic timed graph transformation systems (Q6611954) (← links)
• A logical approach to graph databases (Q6615562) (← links)