%0 Journal Article %1 journals/iot/LiZB23 %A Li, Ran %A Zhu, Huibiao %A Banach, Richard %D 2023 %J Internet Things %K dblp %P 100864 %T Translating and verifying Cyber-Physical systems with shared-variable concurrency in SpaceEx. %U http://dblp.uni-trier.de/db/journals/iot/iot23.html#LiZB23 %V 23

@article{journals/iot/LiZB23, added-at = {2023-09-24T00:00:00.000+0200}, author = {Li, Ran and Zhu, Huibiao and Banach, Richard}, biburl = {https://www.bibsonomy.org/bibtex/23e2ccddbef18dfdd7396b0f51186876c/dblp}, ee = {https://doi.org/10.1016/j.iot.2023.100864}, interhash = {47e360142b3324f5af36577c05ab5f44}, intrahash = {3e2ccddbef18dfdd7396b0f51186876c}, journal = {Internet Things}, keywords = {dblp}, month = {October}, pages = 100864, timestamp = {2024-04-08T10:46:22.000+0200}, title = {Translating and verifying Cyber-Physical systems with shared-variable concurrency in SpaceEx.}, url = {http://dblp.uni-trier.de/db/journals/iot/iot23.html#LiZB23}, volume = 23, year = 2023 }