TY  - RPRT
TI  - Expressiveness Results for Timed Modal Mu-Calculi
AU  - Rance Cleaveland
AU  - Jeroen J. A. Keiren
AU  - Peter Fontana
PY  - 2023
DO  - 10.1007/978-3-031-68416-6_10
UR  - https://arxiv.org/abs/2310.04100
ID  - 2310.04100
ER  -