Luis Pedro, Levi Lucio, Didier Buchs. System Prototype and Verification Using Metamodel-Based Transformations. IEEE Distributed Systems Online, 8(4), 2007. [doi]
@article{PedroLB07,
title = {System Prototype and Verification Using Metamodel-Based Transformations},
author = {Luis Pedro and Levi Lucio and Didier Buchs},
year = {2007},
doi = {10.1109/MDSO.2007.22},
url = {http://doi.ieeecomputersociety.org/10.1109/MDSO.2007.22},
tags = {rule-based, transformation system, transformation},
researchr = {https://researchr.org/publication/PedroLB07},
cites = {0},
citedby = {0},
journal = {IEEE Distributed Systems Online},
volume = {8},
number = {4},
}