Interval temporal logic semantics of box algebra /
Klaudel, Hanna.
Koutny, Maciej,1958-
Duan, Zhenhua.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : Computing Science, Newcastle University,
c2013.
Title from cover.
"February 2013."