TY  - RPRT
TI  - Decidability of the interval temporal logic ABBar over the natural numbers
AU  - A. Montanari
AU  - G. Puppis
AU  - P. Sala
AU  - G. Sciavicco
PY  - 2010
UR  - https://arxiv.org/abs/0912.3429
ID  - 0912.3429
ER  -