@misc{indiciaefb1b94806a69,
  title = {Timed Strategies for Real-Time Rewrite Theories},
  author = {Carlos Olarte and Peter Csaba Ölveczky},
  year = {2024},
  url = {https://arxiv.org/abs/2403.08920},
  note = {Source identifier: 2403.08920}
}