Francesca Saglietti. Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams. In Peter Daniel, editor, 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997. pages 345-356, Springer, 1997. [doi]
Abstract is missing.