Old Web
English
Sign In
Acemap
>
Paper
>
A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language.
A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language.
2019
Tengfei Li
Jing Liu
Dongdong An
Haiying Sun
Keywords:
Specification language
Data mining
Computer science
Programming language
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
5
Citations
NaN
KQI
[]