TY  - RPRT
TI  - Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
AU  - Laura Bozzelli
AU  - Alberto Molinari
AU  - Angelo Montanari
AU  - Adriano Peron
AU  - Pietro Sala
PY  - 2018
DO  - 10.1145/3281028
UR  - https://arxiv.org/abs/1711.08191
ID  - 1711.08191
ER  -