TY  - RPRT
TI  - Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives
AU  - Alberto Molinari
AU  - Angelo Montanari
AU  - Adriano Peron
PY  - 2017
DO  - 10.1016/j.ic.2017.08.011
UR  - https://arxiv.org/abs/1709.01849
ID  - 1709.01849
ER  -