The following pages link to (Q4502817):
Displaying 5 items.
- Connectivity games over dynamic networks (Q391110) (← links)
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- A Game Theoretic Approach to the Analysis of Dynamic Networks (Q2864354) (← links)
- GETGRATS (Q4923529) (← links)
- Visual Modeling of Distributed Object Systems by Graph Transformation (Q4923550) (← links)