Pages that link to "Item:Q2847775"
From MaRDI portal
The following pages link to Verifying a behavioural logic for graph transformation systems (Q2847775):
Displaying 9 items.
- Proceedings of the workshop on graph transformation for concurrency and verification (GT-VC 2006), Bonn, Germany, August 31, 2006 (Q375703) (← links)
- Verification of graph grammars using a logical approach (Q436370) (← links)
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Verifying graph transformation systems with description logics (Q1663990) (← links)
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
- Quantitative \(\mu\)-calculus and CTL defined over constraint semirings (Q2576952) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations (Q3447696) (← links)
- Proving correctness of logically decorated graph rewriting systems (Q5369479) (← links)