Pages that link to "Item:Q2413024"
From MaRDI portal
The following pages link to Labelled graph strategic rewriting for social networks (Q2413024):
Displaying 4 items.
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Labelled port graph -- a formal structure for models and computations (Q2333309) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- A Port Graph Rewriting Approach to Relational Database Modelling (Q5097637) (← links)
