Login / Signup

Correct transformation: From object-based graph grammars to PROMELA.

Leila RibeiroOsmar Marchi dos SantosFernando Luís DottiLuciana Foss
Published in: Sci. Comput. Program. (2012)
Keyphrases
  • graph grammars
  • context sensitive
  • context free
  • machine learning
  • information retrieval
  • application domains
  • production rules