Sabine M. Böhm

Publication Activity (10 Years)

Years Active: 2004-2005
Publications (10 Years): 0

Publications

Sabine M. Böhm
H-RAFT - Heuristic Reachability Analysis for Fault Tolerance Protocols Modelled in SDL. DSN (2005)
Sabine M. Böhm, Klaus Echtle
State Space Reduction in SDL Models of Fault-Tolerant Systems. IPDPS (2004)