BibTeX record conf/sosp/MaGJKKS19

• > Home > conf/sosp/MaGJKKS19

@inproceedings{DBLP:conf/sosp/MaGJKKS19,
  author       = {Haojun Ma and
                  Aman Goel and
                  Jean{-}Baptiste Jeannin and
                  Manos Kapritsos and
                  Baris Kasikci and
                  Karem A. Sakallah},
  editor       = {Tim Brecht and
                  Carey Williamson},
  title        = {{I4:} incremental inference of inductive invariants for verification
                  of distributed protocols},
  booktitle    = {Proceedings of the 27th {ACM} Symposium on Operating Systems Principles,
                  {SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
  pages        = {370--384},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3341301.3359651},
  doi          = {10.1145/3341301.3359651},
  timestamp    = {Sat, 19 Aug 2023 18:10:21 +0200},
  biburl       = {https://dblp.org/rec/conf/sosp/MaGJKKS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}