Login / Signup
A Comparison of Three Model Checkers Applied to a Distributed Database Problem.
A. J. Currie
Published in:
IWFM (2000)
Keyphrases
</>
distributed databases
databases
machine learning
artificial intelligence