@misc{indiciae541e09374b97,
  title = {Checking Consistency of Event-driven Traces},
  author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and R. Govind and Samuel Grahn and Ramanathan S. Thinniyam},
  year = {2025},
  url = {https://arxiv.org/abs/2508.07855},
  note = {Source identifier: 2508.07855}
}