View of Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics

Return to Article Details Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics Download Download PDF