C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Tractable Refinement Checking for Concurrent Objects.
Ahmed Bouajjani
Michael Emmi
Constantin Enea
Jad Hamza
Published in:
POPL (2015)
Keyphrases
</>
d objects
np complete
computer vision
computational complexity
moving objects
data objects
object models