@misc{indiciae3b5f6204a5da,
  title = {Parameterized Verification of Coverability in Well-Structured Broadcast Networks},
  author = {A. R. Balasubramanian},
  year = {2018},
  doi = {10.4204/eptcs.277.10},
  url = {https://arxiv.org/abs/1809.03099},
  note = {Source identifier: 1809.03099}
}