DOI,IST REx ID,Research Group,Title of publication
10.46298/lmcs-20(4:1)2024,18530,ToHe,History-deterministic timed automata