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

by L Aceto, F Laroussinie
Venue:Journal of Logic and Algebraic Programming