@misc{indiciae78647cb23c3a,
  title = {MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems},
  author = {Carlos G. Lopez Pombo and Agustín E. Martinez Suñé and Emilio Tuosto},
  year = {2024},
  url = {https://arxiv.org/abs/2311.01415},
  note = {Source identifier: 2311.01415}
}