@InProceedings{SCI:Yan2007a,
  author =    "Y. Yang and X. Chen and G. Gopalakrishnan and R.M.
              Kirby",
  title =     "Distributed Dynamic Partial Order Reduction Based
              Verification of Threaded Software",
  booktitle = "Proceedings of Model Checking Software: 14th
              International SPIN Workshop",
  volume =    "4595/2007",
  pages =     "58--75",
  year =      "2007",
  month =     "July",
  location =  "Berlin, Germany",
}