A Model of Roll-Back Recovery with Multiple Checkpoints

@inproceedings{Gelenbe:ICSE76,
  author    = {Erol Gelenbe},
  title     = {A Model of {Roll-Back} Recovery with Multiple Checkpoints},
  booktitle = {ICSE},
  pages     = {251--255},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}