@article{559,
  author = {Anantha Narayanan and Gabor Karsai},
  title = {Towards Verifying Model Transformations},
  year = {2008},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {211},
  pages = {p.191-200},
}