Márk Asztalos, István Madari, László Lengyel. Towards Formal Analysis of Multi-paradigm Model Transformations. Simulation, 86(7):429-452, 2010. [doi]
@article{AsztalosML10,
title = {Towards Formal Analysis of Multi-paradigm Model Transformations},
author = {Márk Asztalos and István Madari and László Lengyel},
year = {2010},
doi = {10.1177/0037549709343545},
url = {http://dx.doi.org/10.1177/0037549709343545},
tags = {model-to-model transformation, meta-model, points-to analysis, analysis, source-to-source, model transformation, Meta-Environment, transformation},
researchr = {https://researchr.org/publication/AsztalosML10},
cites = {0},
citedby = {0},
journal = {Simulation},
volume = {86},
number = {7},
pages = {429-452},
}