BibTeX record conf/sosp/BornholtJACKMSS21

• > Home > conf/sosp/BornholtJACKMSS21

@inproceedings{DBLP:conf/sosp/BornholtJACKMSS21,
  author       = {James Bornholt and
                  Rajeev Joshi and
                  Vytautas Astrauskas and
                  Brendan Cully and
                  Bernhard Kragl and
                  Seth Markle and
                  Kyle Sauri and
                  Drew Schleit and
                  Grant Slatton and
                  Serdar Tasiran and
                  Jacob Van Geffen and
                  Andrew Warfield},
  editor       = {Robbert van Renesse and
                  Nickolai Zeldovich},
  title        = {Using Lightweight Formal Methods to Validate a Key-Value Storage Node
                  in Amazon {S3}},
  booktitle    = {{SOSP} '21: {ACM} {SIGOPS} 28th Symposium on Operating Systems Principles,
                  Virtual Event / Koblenz, Germany, October 26-29, 2021},
  pages        = {836--850},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477132.3483540},
  doi          = {10.1145/3477132.3483540},
  timestamp    = {Mon, 26 Jun 2023 20:47:38 +0200},
  biburl       = {https://dblp.org/rec/conf/sosp/BornholtJACKMSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}