@article{562,
  author = {Anantha Narayanan and Gabor Karsai},
  title = {Verifying Model Transformations by Structural Correspondence},
  year = {2008},
  journal = {Electronic Communications of the EASST},
  volume = {10},
}