A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language.

Tengfei Li, Jing Liu, Dongdong An, Haiying Sun

Browse the full SEKE paper archive.