Skip to content

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

Sabine M. Bhm

VenueADSN
Year2005
ProceedingsDSN

Browse the full DSN paper archive.