@misc{indiciae8fc03f4292ce,
  title = {Probabilistic annotations for protocol models},
  author = {Dusko Pavlovic},
  year = {2021},
  doi = {10.1007/978-3-030-91631-2\_18},
  url = {https://arxiv.org/abs/2108.03901},
  note = {Source identifier: 2108.03901}
}