Login / Signup
Michael Marmar
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Logical Reasoning
Model Based Reasoning
Knowledge Representation And Reasoning
Quantitative And Qualitative
Top Venues
LICS
</>
Publications
</>
Jan Hoffmann
,
Michael Marmar
,
Zhong Shao
Quantitative Reasoning for Proving Lock-Freedom.
LICS
(2013)