TY  - RPRT
TI  - Timed Strategies for Real-Time Rewrite Theories
AU  - Carlos Olarte
AU  - Peter Csaba Ölveczky
PY  - 2024
UR  - https://arxiv.org/abs/2403.08920
ID  - 2403.08920
ER  -