C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automatically Proving Linearizability.
Viktor Vafeiadis
Published in:
CAV (2010)
Keyphrases
</>
automatically generated
high quality
information systems
video sequences
decision making
three dimensional
high level
data structure
natural language
digital libraries
semi automatically