Is your Model Checker on Time? - On the Complexity of Model Checking for Timed Modal Logics (2001)

by Luca Aceto , François Laroussinie
Citations:14 - 6 self