C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Proving linearizability using forward simulations.
Ahmed Bouajjani
Michael Emmi
Constantin Enea
Suha Orhun Mutluergil
Published in:
CoRR (2017)
Keyphrases
</>
simulation study
bi directional
forward and backward
genetic algorithm
video sequences
support vector
natural language
information technology
structural analysis
simulation tools