Login / Signup
Practical Verification of Hierarchical Artifact Systems.
Yuliang Li
Published in:
PhD@VLDB (2017)
Keyphrases
</>
expert systems
complex systems
model checking
data sets
management system
information systems
multi agent systems
mobile devices
distributed systems
practical application
asynchronous circuits