@article{656, author = {Anantha Narayanan and Gabor Karsai}, title = {Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations}, year = {2006}, journal = {Electronic Communications of the EASST}, volume = {4}, language = {eng}, }