| |
| 2005 | ||
|---|---|---|
| 2 | EE | Sabine M. Böhm: H-RAFT - Heuristic Reachability Analysis for Fault Tolerance Protocols Modelled in SDL. DSN 2005: 466-475 |
| 2004 | ||
| 1 | EE | Sabine M. Böhm, Klaus Echtle: State Space Reduction in SDL Models of Fault-Tolerant Systems. IPDPS 2004 |
| 1 | Klaus Echtle | [1] |