The following pages link to (Q4438799):
Displaying 10 items.
- Towards automated software model checking using graph transformation systems and bogor (Q1049792) (← links)
- Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach (Q1734517) (← links)
- Categorical approach to the construction of fuzzy graph grammars (Q2371725) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- Tutorial Introduction to Graph Transformation (Q3540418) (← links)
- Application of Graph Transformation in Verification of Dynamic Systems (Q3605472) (← links)
- A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows (Q3628416) (← links)
- Preserving consistency in geometric modeling with graph transformations (Q5059141) (← links)
- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems (Q5505610) (← links)
- A living monograph for graph transformation (Q6535522) (← links)
