@inproceedings{LeungwattanakitArthoEtAl11,
  author    = {Watcharin Leungwattanakit and
               Cyrille Artho and
               Masami Hagiya and
               Yoshinori Tanabe and
               Mitsuharu Yamamoto},
  title     = {Model checking distributed systems by combining caching
               and process checkpointing},
  booktitle = {26th IEEE/ACM International Conference on Automated Software
               Engineering (ASE)},
  year      = {2011},
  pages     = {103--112}
}