Xiaoliang Wang, Fabian Büttner, Yngve Lamo. Verification of Graph-based Model Transformations Using Alloy. ECEASST, 67, 2014. [doi]
@article{WangBL14, title = {Verification of Graph-based Model Transformations Using Alloy}, author = {Xiaoliang Wang and Fabian Büttner and Yngve Lamo}, year = {2014}, url = {http://journal.ub.tu-berlin.de/eceasst/article/view/943}, researchr = {https://researchr.org/publication/WangBL14}, cites = {0}, citedby = {0}, journal = {ECEASST}, volume = {67}, }