@inproceedings{artho-tools2008,
  author={C. Artho and W. Leungwattanakit and M. Hagiya and Y. Tanabe},
  title ={Efficient Model Checking of Networked Applications},
  booktitle={Proc.\ TOOLS~EUROPE~2008},
  year={2008},
  pages={22--40},
  publisher={Springer},
  series={LNBIP},
  volume={19},
  address={Zurich, Switzerland},
}