%0 Journal Article %1 journals/concurrency/BurrowsL04 %A Burrows, Michael %A Leino, K. Rustan M. %D 2004 %J Concurr. Pract. Exp. %K dblp %N 12 %P 1161-1172 %T Finding stale-value errors in concurrent programs. %U http://dblp.uni-trier.de/db/journals/concurrency/concurrency16.html#BurrowsL04 %V 16

@article{journals/concurrency/BurrowsL04, added-at = {2020-05-21T00:00:00.000+0200}, author = {Burrows, Michael and Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/291ba42fd361ecd819b959a44eccd0d72/dblp}, ee = {https://doi.org/10.1002/cpe.866}, interhash = {1f9e4748d1524636b07d6fdc5835b393}, intrahash = {91ba42fd361ecd819b959a44eccd0d72}, journal = {Concurr. Pract. Exp.}, keywords = {dblp}, number = 12, pages = {1161-1172}, timestamp = {2020-05-23T12:01:10.000+0200}, title = {Finding stale-value errors in concurrent programs.}, url = {http://dblp.uni-trier.de/db/journals/concurrency/concurrency16.html#BurrowsL04}, volume = 16, year = 2004 }