%0 Conference Paper %1 conf/podc/CepedaCG19 %A Cepeda, Diego %A Chowdhury, Sakib %A Golab, Wojciech M. %B PODC %D 2019 %E Robinson, Peter %E Ellen, Faith %I ACM %K dblp %P 549 %T Tutorial: Specifying, Implementing, and Verifying Algorithms for Persistent Memory. %U http://dblp.uni-trier.de/db/conf/podc/podc2019.html#CepedaCG19 %@ 978-1-4503-6217-7

@inproceedings{conf/podc/CepedaCG19, added-at = {2021-03-10T00:00:00.000+0100}, author = {Cepeda, Diego and Chowdhury, Sakib and Golab, Wojciech M.}, biburl = {https://www.bibsonomy.org/bibtex/23a6197ad6cd6f6484fec0886ae737ae6/dblp}, booktitle = {PODC}, crossref = {conf/podc/2019}, editor = {Robinson, Peter and Ellen, Faith}, ee = {https://doi.org/10.1145/3293611.3338025}, interhash = {5f4be463b02774913be38eaee4082072}, intrahash = {3a6197ad6cd6f6484fec0886ae737ae6}, isbn = {978-1-4503-6217-7}, keywords = {dblp}, pages = 549, publisher = {ACM}, timestamp = {2024-04-10T12:20:25.000+0200}, title = {Tutorial: Specifying, Implementing, and Verifying Algorithms for Persistent Memory.}, url = {http://dblp.uni-trier.de/db/conf/podc/podc2019.html#CepedaCG19}, year = 2019 }