@inproceedings{artho-snpd2008,
  author={C. Artho and W. Leungwattanakit and M. Hagiya and Y. Tanabe},
  title={Tools and Techniques for Model Checking Networked Programs},
  booktitle={Proc.\ 9th Int.\ Conf.\ on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD~2008)},
  year={2008},
  pages={852--857},
  publisher={IEEE},
  address={Phuket, Thailand},
}