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 Apr. 27];6(32). Available from: https://tidsskrift.dk/brics/article/view/20101