Login / Signup
Unfolding Graph Transformation Systems: Theory and Applications to Verification.
Paolo Baldan
Andrea Corradini
Barbara König
Published in:
Concurrency, Graphs and Models (2008)
Keyphrases
</>
graph transformation
formal methods
distributed systems
complex systems
databases
real time
neural network
data mining
learning algorithm
artificial intelligence
source code
intelligent systems
computer systems
petri net
model checking
computing systems