An Automata-Theoretic Completeness Proof for Interval Temporal Logic
2000 ◽
pp. 223-234
◽
2004 ◽
Vol 14
(1-2)
◽
pp. 55-104
◽
2010 ◽
Vol 5
(10)
◽
pp. 149-158
1994 ◽
Vol 4
(5)
◽
pp. 531-579
◽