Yaoyao Li, Yugen Du. Formal Modeling and Implementation of Virtual Web Services. In 12th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics, CISP-BMEI 2019, Suzhou, China, October 19-21, 2019. pages 1-6, IEEE, 2019. [doi]
Abstract is missing.