Correction to "Mutable checkpoints: a new checkpointing approach for mobile computing systems" | IEEE Journals & Magazine | IEEE Xplore