Deng Zhao, ZhangBing Zhou, Xiao Xue, Zhuofeng Zhao, Walid Gaaloul, Wenbo Zhang. CTL-Based Dynamic IoT Service Composition. In Carl K. Chang, Ernesto Daminai, Jing Fan, Parisa Ghodous, Michael Maximilien, Zhongjie Wang, Robert Ward, Jia Zhang, editors, 2021 IEEE International Conference on Web Services, ICWS 2021, Chicago, IL, USA, September 5-10, 2021. pages 381-388, IEEE, 2021. [doi]
Abstract is missing.