Xiaoliang Wang, Fabian Büttner, Yngve Lamo
Verification of Graph-based Model Transformations Using Alloy
GT-VMT, 2014.
@article{GT-VMT-2014-WangBL,
author = "Xiaoliang Wang and Fabian Büttner and Yngve Lamo",
ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/943",
journal = "{Electronic Communications of the EASST}",
title = "{Verification of Graph-based Model Transformations Using Alloy}",
volume = 67,
year = 2014,
}