%0 Journal Article %1 journals/chinaf/HeWC12 %A He, Yanxiang %A Wu, Wei %A Chen, Yong %D 2012 %J Sci. China Inf. Sci. %K dblp %N 12 %P 2774-2784 %T An efficient method for detecting concurrency errors in object-oriented programs. %U http://dblp.uni-trier.de/db/journals/chinaf/chinaf55.html#HeWC12 %V 55

@article{journals/chinaf/HeWC12, added-at = {2020-03-02T00:00:00.000+0100}, author = {He, Yanxiang and Wu, Wei and Chen, Yong}, biburl = {https://www.bibsonomy.org/bibtex/2a4bf36597bf45cdb2656b4838e31e263/dblp}, ee = {https://doi.org/10.1007/s11432-012-4751-z}, interhash = {8c17b9eb4bdab9c87abf1f843c904ed7}, intrahash = {a4bf36597bf45cdb2656b4838e31e263}, journal = {Sci. China Inf. Sci.}, keywords = {dblp}, number = 12, pages = {2774-2784}, timestamp = {2020-03-03T11:52:29.000+0100}, title = {An efficient method for detecting concurrency errors in object-oriented programs.}, url = {http://dblp.uni-trier.de/db/journals/chinaf/chinaf55.html#HeWC12}, volume = 55, year = 2012 }