%0 Journal Article %1 journals/tos/FryerQSLBG14 %A Fryer, Daniel %A Qin, Mike Dai %A Sun, Jack %A Lee, Kah Wai %A Brown, Angela Demke %A Goel, Ashvin %D 2014 %J ACM Trans. Storage %K dblp %N 4 %P 17:1-17:23 %T Checking the Integrity of Transactional Mechanisms. %U http://dblp.uni-trier.de/db/journals/tos/tos10.html#FryerQSLBG14 %V 10

@article{journals/tos/FryerQSLBG14, added-at = {2020-07-30T00:00:00.000+0200}, author = {Fryer, Daniel and Qin, Mike Dai and Sun, Jack and Lee, Kah Wai and Brown, Angela Demke and Goel, Ashvin}, biburl = {https://www.bibsonomy.org/bibtex/2f4755d247b2b088d436f6ca86da84b55/dblp}, ee = {https://doi.org/10.1145/2675113}, interhash = {8f95cba507c2b3be2febc0f5e7f827cb}, intrahash = {f4755d247b2b088d436f6ca86da84b55}, journal = {ACM Trans. Storage}, keywords = {dblp}, number = 4, pages = {17:1-17:23}, timestamp = {2020-07-31T11:49:19.000+0200}, title = {Checking the Integrity of Transactional Mechanisms.}, url = {http://dblp.uni-trier.de/db/journals/tos/tos10.html#FryerQSLBG14}, volume = 10, year = 2014 }