TY  - RPRT
TI  - On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions
AU  - Laura Bozzelli
AU  - Alberto Molinari
AU  - Angelo Montanari
AU  - Adriano Peron
PY  - 2017
DO  - 10.4204/eptcs.256.3
UR  - https://arxiv.org/abs/1709.02094
ID  - 1709.02094
ER  -