Sign in
Using refinement calculus techniques to prove linearizability.
Bengt Jonsson
Published in:
Formal Aspects Comput. (2012)
Keyphrases
</>
search algorithm
expert systems
image processing
multiscale
query processing
np hard
formal language
computer algebra