Sabine M. Böhm

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2005

2 Sabine M. Böhm: H-RAFT - Heuristic Reachability Analysis for Fault Tolerance Protocols Modelled in SDL. DSN 2005: 466-475

2004

1 Sabine M. Böhm, Klaus Echtle: State Space Reduction in SDL Models of Fault-Tolerant Systems. IPDPS 2004

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

Coauthor Index

1 Klaus Echtle [1]