Verifying Linearisability: A Comparative Survey.

Brijesh Dongol John Derrick

Published in: ACM Comput. Surv. (2015)

Keyphrases

comparative analysis
data sets
artificial intelligence
model checking
user centered design
database
computer vision
objective function
object recognition