@misc{indiciae3b0876393640,
  title = {Expressiveness Results for Timed Modal Mu-Calculi},
  author = {Rance Cleaveland and Jeroen J. A. Keiren and Peter Fontana},
  year = {2023},
  doi = {10.1007/978-3-031-68416-6\_10},
  url = {https://arxiv.org/abs/2310.04100},
  note = {Source identifier: 2310.04100}
}