@misc{indiciae4584ce4db32e,
  title = {Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems},
  author = {Christopher Wagner and Nouraldin Jaber and Roopsha Samanta},
  year = {2022},
  url = {https://arxiv.org/abs/2205.06322},
  note = {Source identifier: 2205.06322}
}