@inproceedings{artho-dnsa10,
  author = {C. Artho and W. Leungwattanakit and M. Hagiya and E. Platon and Y. Tanabe and M. Yamamoto},
  title = {Cache-based Model Checking of Networked Software},
  booktitle = {Proc.\ Workshop on Dependability of Network Software Applications (DNSA~2010)},
  year = {2010},
  address = {Hiroshima, Japan},
}