Login / Signup

Model checking transactional memories.

Rachid GuerraouiThomas A. HenzingerVasu Singh
Published in: Distributed Comput. (2010)
Keyphrases