@article{ DBLP:journals/stvr/ArthoHB03,
  author    = {Cyrille Artho and Klaus Havelund and Armin Biere},
  title     = {High-level data races},
  journal   = {Softw. Test., Verif. Reliab.},
  pages   = {207-227},
  volume   = {13},
  number   = {4},
  ee   = {http://dx.doi.org/10.1002/stvr.281} ,
  year   = {2003}
}

{"_id":{"_str":"5342ce6f0e946d920a0037c3"},"__v":8,"authorIDs":["5458f748b43425b77200029b","54593b80b43425b7720003cb"],"author_short":["Artho, C.","Havelund, K.","Biere, A."],"bibbaseid":"artho-havelund-biere-highleveldataraces-2003","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Cyrille"],"propositions":[],"lastnames":["Artho"],"suffixes":[]},{"firstnames":["Klaus"],"propositions":[],"lastnames":["Havelund"],"suffixes":[]},{"firstnames":["Armin"],"propositions":[],"lastnames":["Biere"],"suffixes":[]}],"title":"High-level data races","journal":"Softw. Test., Verif. Reliab.","pages":"207-227","volume":"13","number":"4","ee":"http://dx.doi.org/10.1002/stvr.281","year":"2003","bibtex":"@article{ DBLP:journals/stvr/ArthoHB03,\n author = {Cyrille Artho and Klaus Havelund and Armin Biere},\n title = {High-level data races},\n journal = {Softw. Test., Verif. Reliab.},\n pages = {207-227},\n volume = {13},\n number = {4},\n ee = {http://dx.doi.org/10.1002/stvr.281} ,\n year = {2003}\n}\n\n\n","author_short":["Artho, C.","Havelund, K.","Biere, A."],"key":"DBLP:journals/stvr/ArthoHB03","id":"DBLP:journals/stvr/ArthoHB03","bibbaseid":"artho-havelund-biere-highleveldataraces-2003","role":"author","urls":{"Link":"http://dx.doi.org/10.1002/stvr.281"},"downloads":0,"html":""},"bibtype":"article","biburl":"http://data.bibbase.org/author/klaus-havelund/?format=bibtex","downloads":0,"keywords":[],"search_terms":["high","level","data","races","artho","havelund","biere"],"title":"High-level data races","year":2003,"dataSources":["utRx7pb7ZxzX9xE6F"]}