The following pages link to Artur Boronat (Q973051):
Displaying 5 items.
- An algebraic semantics for MOF (Q973052) (← links)
- Borrowed Contexts for Attributed Graphs (Q2918977) (← links)
- What Is a Multi-modeling Language? (Q3184725) (← links)
- Checking Bisimilarity for Attributed Graph Transformation (Q4910415) (← links)
- Graph Transformation for Domain-Specific Discrete Event Time Simulation (Q4931320) (← links)