scientific article; zbMATH DE number 10083
From MaRDI portal
Publication:4713364
zbMath0744.68099MaRDI QIDQ4713364
Hartmut Ehrig, Fernando Orejas, Michael Baldamus
Publication date: 25 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On the Specification and Verification of Model Transformations ⋮ Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components ⋮ Formal relationship between graph grammars and Petri nets