Refinement Checking Parameterised Quorum Systems.

Published in: ACSD (2017)

Keyphrases

management system
distributed databases
complex systems
intelligent systems
real time
website
decision trees
database systems
control system
distributed systems
software development
building blocks
learning systems
retrieval systems
systems require