Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini. Verifying Object-based Graph Grammars. Software and Systems Modeling, 5(3):289-311, 2006. [doi]
@article{DottiRSP06,
title = {Verifying Object-based Graph Grammars},
author = {Fernando Luís Dotti and Leila Ribeiro and Osmar Marchi dos Santos and Fábio Pasini},
year = {2006},
doi = {10.1007/s10270-006-0014-z},
url = {http://dx.doi.org/10.1007/s10270-006-0014-z},
tags = {rule-based, graph-rewriting, Meta-Environment, rewriting, meta-objects, grammar},
researchr = {https://researchr.org/publication/DottiRSP06},
cites = {0},
citedby = {0},
journal = {Software and Systems Modeling},
volume = {5},
number = {3},
pages = {289-311},
}