C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verifying Visibility-Based Weak Consistency.
Siddharth Krishna
Michael Emmi
Constantin Enea
Dejan Jovanovic
Published in:
CoRR (2019)
Keyphrases
</>
real world
bayesian networks
search algorithm
global constraints
databases
genetic algorithm
information systems
web services
three dimensional
database systems
data structure
lower bound
special case
model checking
consistency checking