Pages that link to "Item:Q3612006"
From MaRDI portal
The following pages link to Static Analysis of Dynamic Communication Systems by Partner Abstraction (Q3612006):
Displaying 5 items.
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- Sound and Complete Abstract Graph Transformation (Q3098055) (← links)
- Mind the Shapes: Abstraction Refinement Via Topology Invariants (Q3510783) (← links)
- Towards the Verification of Attributed Graph Transformation Systems (Q3540407) (← links)
- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols (Q5458318) (← links)
