%0 Journal Article %1 journals/monet/LiLSCYMS21 %A Li, Tengfei %A Liu, Jing %A Sun, Haiying %A Chen, Xiaohong %A Yin, Ling %A Mao, Xia %A Sun, Junfeng %D 2021 %J Mob. Networks Appl. %K dblp %N 6 %P 2392-2406 %T Runtime Verification of Spatio-Temporal Specification Language. %U http://dblp.uni-trier.de/db/journals/monet/monet26.html#LiLSCYMS21 %V 26

@article{journals/monet/LiLSCYMS21, added-at = {2022-12-07T00:00:00.000+0100}, author = {Li, Tengfei and Liu, Jing and Sun, Haiying and Chen, Xiaohong and Yin, Ling and Mao, Xia and Sun, Junfeng}, biburl = {https://www.bibsonomy.org/bibtex/2700d6a1aa200ff1581a23abef9dc5918/dblp}, ee = {https://doi.org/10.1007/s11036-021-01779-5}, interhash = {86615a80d30f7bfff27d2e11a62b54ee}, intrahash = {700d6a1aa200ff1581a23abef9dc5918}, journal = {Mob. Networks Appl.}, keywords = {dblp}, number = 6, pages = {2392-2406}, timestamp = {2024-04-09T01:01:36.000+0200}, title = {Runtime Verification of Spatio-Temporal Specification Language.}, url = {http://dblp.uni-trier.de/db/journals/monet/monet26.html#LiLSCYMS21}, volume = 26, year = 2021 }