Login / Signup
Annu Gmeiner
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Finite State
Formal Specification
Reactive Systems
Reachability Analysis
Top Venues
SFM
</>
Publications
</>
Annu Gmeiner
,
Igor Konnov
,
Ulrich Schmid
,
Helmut Veith
,
Josef Widder
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms.
SFM
(2014)