Verifying Object-based Graph Grammars.

Fernando Luís Dotti Leila Ribeiro Osmar Marchi dos Santos Fábio Pasini

Published in: Softw. Syst. Model. (2006)

Keyphrases

graph grammars
context sensitive
model checking
context free
probability distribution
graphical models
itemsets
production rules
parameter learning