Sabine M. Böhm

According to our database, Sabine M. Böhm authored at least 2 papers between 2004 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

H-RAFT - Heuristic Reachability Analysis for Fault Tolerance Protocols Modelled in SDL.

Sabine M. Böhm

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

State Space Reduction in SDL Models of Fault-Tolerant Systems.

Sabine M. Böhm, Klaus Echtle

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004