1
Formal Methods in Software and Systems Modeling [E-Book] / Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
2
Graph Transformations [E-Book] / Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings