The following pages link to (Q4713364):
Displaying 5 items.
- Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components (Q934668) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- (Q3481681) (← links)
- (Q4535078) (← links)
- Formal relationship between graph grammars and Petri nets (Q4645283) (← links)