Analysis of the SPIDER fault-tolerance protocols (2000)

by P Miner
Venue:In Proceedings of the NASA Langley Formal Methods Workshop (LFM