TY  - RPRT
TI  - Complexity of ITL model checking: some well-behaved fragments of the interval logic HS
AU  - A. Molinari
AU  - A. Montanari
AU  - A. Peron
PY  - 2016
DO  - 10.1109/time.2015.12
UR  - https://arxiv.org/abs/1601.03202
ID  - 1601.03202
ER  -