Reasoning About Places, Times, and Actions in the Presence of Mobility

C. Donald Wilcox, Gruia-Catalin Roman. Reasoning About Places, Times, and Actions in the Presence of Mobility. IEEE Trans. Software Eng., 22(4):225-247, 1996. [doi]

Abstract

Abstract is missing.