Aceto L, Laroussinie F. Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics. BRICS [Internet]. 2. december 1999 [henvist 6. december 2025];6(32). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20101