Login / Signup

Characterization of a Sequentially Consistent Memory and Verification of a Cache Memory by Abstraction.

Susanne Graf
Published in: Distributed Comput. (1999)
Keyphrases