1. (100%) A Combination of Interval Logic and Linear Temporal Logic
systems. Logics to deal with this model are being studied. In the paper, we propose a combination of a linear temporal logic and an interval logic, and demonstrate how this combination can be used to
(ps) - 31-mar-2009

2. (100%) A Combination of Interval Logic and Linear Temporal Logic
systems. Logics to deal with this model are being studied. In the paper, we propose a combination of a linear temporal logic and an interval logic, and demonstrate how this combination can be used to
(ps) - 31-mar-2009