@inproceedings{leungwattanakit-ase11,
  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 = {Proc.\ 26th Int.\  Conf.\ on Automated Software Engineering (ASE~2011)},
  year      = {2011},
  pages     = {103--112},
  publisher = {IEEE Computer Society},
  address   = {Lawrence, USA},
}