Sign in

Checking Bisimilarity for Attributed Graph Transformation.

Fernando OrejasArtur BoronatUlrike GolasNikos Mylonakis
Published in: FoSSaCS (2013)
Keyphrases
  • attributed graphs
  • graph matching
  • neural network
  • graph clustering
  • xml documents
  • pattern matching