Login / Signup
Bert Schirmer
Publication Activity (10 Years)
Years Active: 2010-2010
Publications (10 Years): 0
</>
Publications
</>
Ernie Cohen
,
Bert Schirmer
From Total Store Order to Sequential Consistency: A Practical Reduction Theorem.
ITP
(2010)