%0 Journal Article %1 journals/jcst/LiZCF10 %A Li, Yong %A Zhang, Yu %A Chen, Yiyun %A Fu, Ming %D 2010 %J J. Comput. Sci. Technol. %K dblp %N 4 %P 841-852 %T Formal Reasoning About Lazy-STM Programs. %U http://dblp.uni-trier.de/db/journals/jcst/jcst25.html#LiZCF10 %V 25

@article{journals/jcst/LiZCF10, added-at = {2010-11-12T00:00:00.000+0100}, author = {Li, Yong and Zhang, Yu and Chen, Yiyun and Fu, Ming}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23e7ae00c457f150dbc7493868d6704e5/dblp}, ee = {http://dx.doi.org/10.1007/s11390-010-9369-2}, interhash = {2e26318ec5c399cad9ba224b1f0a32c2}, intrahash = {3e7ae00c457f150dbc7493868d6704e5}, journal = {J. Comput. Sci. Technol.}, keywords = {dblp}, number = 4, pages = {841-852}, timestamp = {2016-02-02T01:23:46.000+0100}, title = {Formal Reasoning About Lazy-STM Programs.}, url = {http://dblp.uni-trier.de/db/journals/jcst/jcst25.html#LiZCF10}, volume = 25, year = 2010 }