Symbolic Model-Checking of Optimistic Replication Algorithms.

Hanifa Boucheneb Abdessamad Imine Manal Najem

Published in: IFM (2010)

Keyphrases

symbolic model checking
machine learning
learning algorithm
orders of magnitude
data mining algorithms
search strategies