共 50 条
- [32] A spatio-temporal specification language and its completeness & decidability JOURNAL OF CLOUD COMPUTING-ADVANCES SYSTEMS AND APPLICATIONS, 2020, 9 (01):
- [33] A spatio-temporal specification language and its completeness & decidability Journal of Cloud Computing, 9
- [35] A verification framework for spatio-temporal consistency language with CCSL as a specification language Frontiers of Computer Science, 2020, 14 : 105 - 129
- [36] Event-based incremental updating of spatio-temporal database JOURNAL OF CENTRAL SOUTH UNIVERSITY OF TECHNOLOGY, 2004, 11 (02): : 192 - 198
- [39] A spatio-temporal database prototype for managing moving objects in GIS IGARSS 2005: IEEE INTERNATIONAL GEOSCIENCE AND REMOTE SENSING SYMPOSIUM, VOLS 1-8, PROCEEDINGS, 2005, : 947 - 950
- [40] A spatio-temporal GIS database for monitoring alpine glacier change PHOTOGRAMMETRIC ENGINEERING AND REMOTE SENSING, 2001, 67 (08): : 967 - 975