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, }