1. Analysis of permutation equivalence in $\mathcal{M}$-adhesive transformation systems with negative application conditions. (26th June 2014) Authors: HERMANN, FRANK; CORRADINI, ANDREA; EHRIG, HARTMUT Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Analysis of permutation equivalence in $\mathcal{M}$-adhesive transformation systems with negative application conditions. (26th June 2014) Authors: HERMANN, FRANK; CORRADINI, ANDREA; EHRIG, HARTMUT Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Formal analysis of model transformations based on triple graph grammars. (26th June 2014) Authors: HERMANN, FRANK; EHRIG, HARTMUT; GOLAS, ULRIKE; OREJAS, FERNANDO Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Formal analysis of model transformations based on triple graph grammars. (26th June 2014) Authors: HERMANN, FRANK; EHRIG, HARTMUT; GOLAS, ULRIKE; OREJAS, FERNANDO Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗