@misc{indiciaed47b5d9d09a4,
  title = {Liveness Checking of the HotStuff Protocol Family},
  author = {Jérémie Decouchant and Burcu Kulahcioglu Ozkan and Yanzhuo Zhou},
  year = {2023},
  url = {https://arxiv.org/abs/2310.09006},
  note = {Source identifier: 2310.09006}
}