A status protocol for system-operation in a fault-tolerant system - Verification and testing with SPIN.

Carl Bergenhem

Browse the full ETFA paper archive.