Pages that link to "Item:Q3507360"
From MaRDI portal
The following pages link to Explicit State Model Checking for Graph Grammars (Q3507360):
Displayed 11 items.
- Translating controlled graph grammars to ordinary graph grammars (Q529641) (← links)
- Modeling dynamic reconfigurations in Reo using high-level replacement systems (Q608354) (← links)
- Reachability analysis of reversal-bounded automata on series-parallel graphs (Q1741900) (← links)
- Multilevel coupled model transformations for precise and reusable definition of model behaviour (Q2423777) (← links)
- A general framework for types in graph rewriting (Q2581012) (← links)
- Modeling and Verifying Graph Transformations in Proof Assistants (Q2870320) (← links)
- Reachability in Graph Transformation Systems and Slice Languages (Q2947215) (← links)
- Extended Triple Graph Grammars with Efficient and Compatible Graph Translators (Q3059713) (← links)
- Workshop on Petri Nets and Graph Transformations (Q3540422) (← links)
- (Q5013881) (← links)
- (Q6198042) (← links)