Login / Signup
Verifying linearizability: A comparative survey.
Brijesh Dongol
John Derrick
Published in:
CoRR (2014)
Keyphrases
</>
model checking
computer vision
data collection
user centered design
database
databases
information retrieval
knowledge base
website
relational databases
color images
comparative analysis