Graph transformation with variables
Formal Methods in Software and Systems Modeling
Changing labels in the double-pushout approach can be treated categorically
Formal Methods in Software and Systems Modeling
A transformation-based approach to context-aware modelling
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |