%0 Journal Article %1 journals/tjs/WuLWZC15 %A Wu, Zhendong %A Lu, Kai %A Wang, Xiaoping %A Zhou, Xu %A Chen, Chen %D 2015 %J The Journal of Supercomputing %K dblp %N 8 %P 2922-2943 %T Detecting harmful data races through parallel verification. %U http://dblp.uni-trier.de/db/journals/tjs/tjs71.html#WuLWZC15 %V 71

@article{journals/tjs/WuLWZC15, added-at = {2015-07-28T00:00:00.000+0200}, author = {Wu, Zhendong and Lu, Kai and Wang, Xiaoping and Zhou, Xu and Chen, Chen}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c3966d45b42a9dd1fb5ff895a2de5ae3/dblp}, ee = {http://dx.doi.org/10.1007/s11227-015-1418-8}, interhash = {fa4b89db07fd888fd4fe3fbbdd13b8e8}, intrahash = {c3966d45b42a9dd1fb5ff895a2de5ae3}, journal = {The Journal of Supercomputing}, keywords = {dblp}, number = 8, pages = {2922-2943}, timestamp = {2016-02-02T04:45:29.000+0100}, title = {Detecting harmful data races through parallel verification.}, url = {http://dblp.uni-trier.de/db/journals/tjs/tjs71.html#WuLWZC15}, volume = 71, year = 2015 }