TY  - RPRT
TI  - Checking Interval Properties of Computations
AU  - A. Molinari
AU  - A. Montanari
AU  - A. Murano
AU  - G. Perelli
AU  - A. Peron
PY  - 2016
DO  - 10.1007/s00236-015-0250-1
UR  - https://arxiv.org/abs/1601.03195
ID  - 1601.03195
ER  -