Login / Signup
Michael Leslie
Publication Activity (10 Years)
Years Active: 2001-2001
Publications (10 Years): 0
</>
Publications
</>
Tim Braun
,
Anne Condon
,
Alan J. Hu
,
Kai S. Juse
,
Marius Laza
,
Michael Leslie
,
Rita Sharma
Proving sequential consistency by model checking.
HLDVT
(2001)