@inproceedings{leungwattanakit-ase11,
  author    = {W. Leungwattanakit and C. Artho and M. Hagiya and Y. Tanabe and
               M. 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     = {166--175},
  address   = {Lawrence, USA},
}