Login / Signup

Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems.

Christoph Blume
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)
Keyphrases
  • efficient implementation
  • graph transformation
  • highly parallel
  • distributed systems
  • information systems
  • model checking
  • formal methods
  • hardware implementation
  • efficient processing
  • linear systems