BibTeX record conf/icse/ZhaiLG23

• > Home > conf/icse/ZhaiLG23

@inproceedings{DBLP:conf/icse/ZhaiLG23,
  author       = {Shumao Zhai and
                  Xiaozhou Li and
                  Ning Ge},
  title        = {{HOME:} Heard-Of based Formal Modeling and Verification Environment
                  for Consensus Protocols},
  booktitle    = {45th {IEEE/ACM} International Conference on Software Engineering:
                  {ICSE} 2023 Companion Proceedings, Melbourne, Australia, May 14-20,
                  2023},
  pages        = {16--20},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICSE-Companion58688.2023.00016},
  doi          = {10.1109/ICSE-COMPANION58688.2023.00016},
  timestamp    = {Sun, 06 Jul 2025 11:26:08 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/ZhaiLG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}