Pages that link to "Item:Q3507360"
From MaRDI portal
The following pages link to Explicit State Model Checking for Graph Grammars (Q3507360):
Displayed 5 items.
- Modeling dynamic reconfigurations in Reo using high-level replacement systems (Q608354) (← links)
- A general framework for types in graph rewriting (Q2581012) (← links)
- Modeling and Verifying Graph Transformations in Proof Assistants (Q2870320) (← links)
- Extended Triple Graph Grammars with Efficient and Compatible Graph Translators (Q3059713) (← links)
- Workshop on Petri Nets and Graph Transformations (Q3540422) (← links)