![](/img/cover-not-exists.png)
Correct transformation: From object-based graph grammars to PROMELA
Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana FossVolume:
77
Year:
2012
Language:
english
Pages:
33
DOI:
10.1016/j.scico.2011.03.010
File:
PDF, 835 KB
english, 2012