Verifying Object-Based Graph Grammars.

Osmar Marchi dos Santos Fernando Luís Dotti Leila Ribeiro

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

graph grammars
context sensitive
model checking
graph databases
context free
maximum likelihood
production rules
data mining
data model