@inproceedings{artho-reduce2008,
  author={C. Artho and W. Leungwattanakit and M. Hagiya and Y. Tanabe},
  title={Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs},
  booktitle={Proc.\ 9th Int.\ Conf.\ on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD~2008)},
  year={2008},
  pages={807--813},
  publisher={IEEE},
  address={Phuket, Thailand},
}