Login / Signup
Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations.
Giorgio Delzanno
Jan Stückrath
Published in:
CoRR (2014)
Keyphrases
</>
graph transformation
neural network
real world
artificial intelligence
distributed systems
intelligent systems
complex systems
computer vision
decision making
web services
mobile devices
data management
knowledge based systems
learning systems
formal methods