Aceto L, Laroussinie F. Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics. BRICS [Internet]. 1999 Dec. 2 [cited 2024 Nov. 22];6(32). Available from: https://tidsskrift.dk/brics/article/view/20101