Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems.

Salil Joshi Barbara König

Published in: CAV (2008)

Keyphrases

graph transformation
management system
distributed systems
formal methods
structured data
building blocks
intelligent systems
expert systems
information systems
information retrieval
information extraction
data mining
case study
complex systems
graph matching
search engine
asynchronous circuits