Pages that link to "Item:Q2867893"
From MaRDI portal
The following pages link to Formal Verification of Object-Oriented Graph Grammars Specifications (Q2867893):
Displayed 5 items.
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
- Translating controlled graph grammars to ordinary graph grammars (Q529641) (← links)
- Towards automated software model checking using graph transformation systems and bogor (Q1049792) (← links)
- A graph-based generic type system for object-oriented programs (Q2418638) (← links)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)