Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics.

Luca Aceto, Franois Laroussinie

Browse the full MFCS paper archive.