%0 Journal Article %1 journals/jcloudc/LiLSCZS20 %A Li, Tengfei %A Liu, Jing %A Sun, Haiying %A Chen, Xiang %A Zhang, Lipeng %A Sun, Junfeng %D 2020 %J J. Cloud Comput. %K dblp %P 65 %T A spatio-temporal specification language and its completeness & decidability. %U http://dblp.uni-trier.de/db/journals/jcloudc/jcloudc9.html#LiLSCZS20 %V 9

@article{journals/jcloudc/LiLSCZS20, added-at = {2022-12-07T00:00:00.000+0100}, author = {Li, Tengfei and Liu, Jing and Sun, Haiying and Chen, Xiang and Zhang, Lipeng and Sun, Junfeng}, biburl = {https://www.bibsonomy.org/bibtex/2a35495b2215c8d8586c56d74e5f2222a/dblp}, ee = {https://doi.org/10.1186/s13677-020-00209-3}, interhash = {47209c80f015fbc84d276429492c10db}, intrahash = {a35495b2215c8d8586c56d74e5f2222a}, journal = {J. Cloud Comput.}, keywords = {dblp}, pages = 65, timestamp = {2024-04-08T11:30:22.000+0200}, title = {A spatio-temporal specification language and its completeness & decidability.}, url = {http://dblp.uni-trier.de/db/journals/jcloudc/jcloudc9.html#LiLSCZS20}, volume = 9, year = 2020 }