Ran Li, Huibiao Zhu, Richard Banach. Translating and verifying Cyber-Physical systems with shared-variable concurrency in SpaceEx. Internet of Things, 23:100864, October 2023. [doi]
@article{LiZB23-1, title = {Translating and verifying Cyber-Physical systems with shared-variable concurrency in SpaceEx}, author = {Ran Li and Huibiao Zhu and Richard Banach}, year = {2023}, month = {October}, doi = {10.1016/j.iot.2023.100864}, url = {https://doi.org/10.1016/j.iot.2023.100864}, researchr = {https://researchr.org/publication/LiZB23-1}, cites = {0}, citedby = {0}, journal = {Internet of Things}, volume = {23}, pages = {100864}, }