@article{artho-diku-2007,
  author={C. Artho and W. Leungwattanakit and M. Hagiya and Y. Tanabe and E. Shibayama},
  title={Architecture-aware Partial-order Reduction to Accelerate Model Checking of Networked Programs},
  booktitle={Proc.\ Third DIKU-IST workshop},
  year={2007},
  address={Roskilde, Denmark},
}