BibTeX record conf/applied/ShivamPL23

• > Home > conf/applied/ShivamPL23

@inproceedings{DBLP:conf/applied/ShivamPL23,
  author       = {Kumar Shivam and
                  Vishnu Paladugu and
                  Yanhong A. Liu},
  editor       = {Yanhong Annie Liu and
                  Elad Michael Schiller},
  title        = {Specification and Runtime Checking of Derecho, {A} Protocol for Fast
                  Replication for Cloud Services},
  booktitle    = {Proceedings of the 5th workshop on Advanced tools, programming languages,
                  and PLatforms for Implementing and Evaluating algorithms for Distributed
                  systems, ApPLIED 2023, Orlando, FL, USA, 19 June 2023},
  pages        = {12:1--12:10},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3584684.3597275},
  doi          = {10.1145/3584684.3597275},
  timestamp    = {Fri, 07 Jul 2023 23:30:37 +0200},
  biburl       = {https://dblp.org/rec/conf/applied/ShivamPL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}