@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",
}

{"_id":"Jwju29JWvSJ5bFGBD","bibbaseid":"yang-chen-gopalakrishnan-kirby-efficientstatefuldynamicpartialorderreduction-2008","author_short":["Yang, Y.","Chen, X.","Gopalakrishnan, G.","Kirby, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Y."],"propositions":[],"lastnames":["Yang"],"suffixes":[]},{"firstnames":["X."],"propositions":[],"lastnames":["Chen"],"suffixes":[]},{"firstnames":["G."],"propositions":[],"lastnames":["Gopalakrishnan"],"suffixes":[]},{"firstnames":["R.M."],"propositions":[],"lastnames":["Kirby"],"suffixes":[]}],"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","bibtex":"@InProceedings{SCI:Yan2008a,\n author = \"Y. Yang and X. Chen and G. Gopalakrishnan and R.M.\n Kirby\",\n title = \"Efficient Stateful Dynamic Partial Order\n Reduction\",\n booktitle = \"Proceedings of Model Checking Software: 15th\n International {SPIN} Workshop\",\n volume = \"5156\",\n pages = \"288--305\",\n year = \"2008\",\n month = \"August\",\n location = \"Los Angeles, CA\",\n doi = \"10.1007/978-3-540-85114-1_20\",\n}\n\n","author_short":["Yang, Y.","Chen, X.","Gopalakrishnan, G.","Kirby, R."],"key":"SCI:Yan2008a","id":"SCI:Yan2008a","bibbaseid":"yang-chen-gopalakrishnan-kirby-efficientstatefuldynamicpartialorderreduction-2008","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://www.sci.utah.edu/publications/sci.bib","dataSources":["5G2skx26SJtreWr4m"],"keywords":[],"search_terms":["efficient","stateful","dynamic","partial","order","reduction","yang","chen","gopalakrishnan","kirby"],"title":"Efficient Stateful Dynamic Partial Order Reduction","year":2008}