Anantha Narayanan, Gabor Karsai
Verifying Model Transformations by Structural Correspondence
GT-VMT, 2008.
@article{GT-VMT-2008-NarayananK,
author = "Anantha Narayanan and Gabor Karsai",
ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/157",
journal = "{Electronic Communications of the EASST}",
title = "{Verifying Model Transformations by Structural Correspondence}",
volume = 10,
year = 2008,
}