Marco Elver
Identifiers
No identifiers captured yet.
Papers (1)
- Verification of a lazy cache coherence protocol against a weak memory model cs.LO · 2017 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Christopher J. Banks 1 shared papers
- Paul Jackson 1 shared papers
- Ruth Hoffmann 1 shared papers
- Susmit Sarkar 1 shared papers
- Vijay Nagarajan 1 shared papers