@InProceedings{SCI:Yan2008a,
  author =    "Y. Yang and X. Chen and G. Gopalakrishnan and R.M.
              Kirby",
  title =     "Efficient Stateful Dynamic Partial Order
              Reduction",
  booktitle = "Proceedings of Model Checking Software: 15th
              International {SPIN} Workshop",
  volume =    "5156",
  pages =     "288--305",
  year =      "2008",
  month =     "August",
  location =  "Los Angeles, CA",
  doi =       "10.1007/978-3-540-85114-1_20",
}