@misc{indiciae00afa2e0da5a,
  title = {Tracer: A Tool for Race Detection in Software Defined Network Models},
  author = {Georgiana Caltais and Mahboobeh Zangiabady and Ervin Zvirbulis},
  year = {2024},
  doi = {10.4204/eptcs.410.6},
  url = {https://arxiv.org/abs/2410.23763},
  note = {Source identifier: 2410.23763}
}