%0 Journal Article %1 journals/tpds/WuYJC16 %A Wu, Shangru %A Yang, Chunbai %A Jia, Changjiang %A Chan, Wing Kwong %D 2016 %J IEEE Trans. Parallel Distrib. Syst. %K dblp %N 3 %P 724-734 %T ASP: Abstraction Subspace Partitioning for Detection of Atomicity Violations with an Empirical Study. %U http://dblp.uni-trier.de/db/journals/tpds/tpds27.html#WuYJC16 %V 27

@article{journals/tpds/WuYJC16, added-at = {2019-09-16T00:00:00.000+0200}, author = {Wu, Shangru and Yang, Chunbai and Jia, Changjiang and Chan, Wing Kwong}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2eab40242796542006c9b8a662e5d7cf3/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TPDS.2015.2412544}, interhash = {78642ce91c5757a47624bb55b192265d}, intrahash = {eab40242796542006c9b8a662e5d7cf3}, journal = {IEEE Trans. Parallel Distrib. Syst.}, keywords = {dblp}, number = 3, pages = {724-734}, timestamp = {2019-09-27T08:09:16.000+0200}, title = {ASP: Abstraction Subspace Partitioning for Detection of Atomicity Violations with an Empirical Study.}, url = {http://dblp.uni-trier.de/db/journals/tpds/tpds27.html#WuYJC16}, volume = 27, year = 2016 }