Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings - Liu, Jianghua; Xu, Lei; Huang, Xinyi (Springer Nature Switzerland, 2024)