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]
@inproceedings{LiLAS19,
title = {A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language},
author = {Tengfei Li and Jing Liu and Dongdong An and Haiying Sun},
year = {2019},
doi = {10.18293/SEKE2019-222},
url = {https://doi.org/10.18293/SEKE2019-222},
researchr = {https://researchr.org/publication/LiLAS19},
cites = {0},
citedby = {0},
pages = {153-204},
booktitle = {The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019},
editor = {Angelo Perkusich},
publisher = {KSI Research Inc. and Knowledge Systems Institute Graduate School},
isbn = {1-891706-48-9},
}