Login / Signup
Verification of non-uniform and unbounded artifact-centric systems: decidability through abstraction.
Francesco Belardinelli
Published in:
AAMAS (2014)
Keyphrases
</>
artifact centric
model checking
management system
neural network
high level
learning systems
information systems
database systems
description logics
retrieval systems
bounded model checking