Pages that link to "Item:Q879600"
From MaRDI portal
The following pages link to Unfolding semantics of graph transformation (Q879600):
Displayed 6 items.
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Unfolding-based diagnosis of systems with an evolving topology (Q1959480) (← links)
- Ugo Montanari and Graph Transformation (Q3507353) (← links)
- Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Unfolding-Based Diagnosis of Systems with an Evolving Topology (Q3541019) (← links)