@misc{indiciae676d15d5e4b7,
  title = {Implementing Security Protocol Monitors},
  author = {Yannick Chevalier and Michaël Rusinowitch},
  year = {2021},
  doi = {10.4204/eptcs.342.3},
  url = {https://arxiv.org/abs/2109.02802},
  note = {Source identifier: 2109.02802}
}