Tengfei Li, Jing Liu, Dongdong An, Haiying Sun. A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language. In Angelo Perkusich, editor, The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019. pages 153-204, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2019. [doi]
Abstract is missing.