Optimal Sequential Checkpoint Intervals for Error Detection
International Workshop on Recent Advances in Stochastic Operations Research II, Nagoya, Japan