Pages that link to "Item:Q1784784"
From MaRDI portal
The following pages link to Verigraph: a system for specification and analysis of graph grammars (Q1784784):
Displaying 5 items.
- Module integration using graph grammars (MIGRATE) (Q2154049) (← links)
- Verifying object-based graph grammars (Q2847855) (← links)
- Formal verification of object-oriented graph grammars specifications (Q2867893) (← links)
- An Introduction to Graph-Based Modeling Systems, Part II: Graph-Grammars and the Implementation (Q4015380) (← links)
- (Q5021233) (← links)