Publication | Open Access

Model checking interval temporal logics with regular expressions