APA (7th ed.) Citation

Meng, X., Duan, X., Tao, W., Luan, Y., Zhang, J., & Wu, D. (2021, October 22). Modeling and verification of Industrial Microservice Architecture Based on Formal Methods. Chinese Automation Congress (Online), 3776-3780. https://doi.org/10.1109/CAC53003.2021.9727653

Chicago Style (17th ed.) Citation

Meng, Xiangxi, Xiangyu Duan, Wei Tao, Yan Luan, Juanjuan Zhang, and Donghan Wu. "Modeling and Verification of Industrial Microservice Architecture Based on Formal Methods." Chinese Automation Congress (Online) 22 Oct. 2021: 3776-3780. https://doi.org/10.1109/CAC53003.2021.9727653.

MLA (9th ed.) Citation

Meng, Xiangxi, et al. "Modeling and Verification of Industrial Microservice Architecture Based on Formal Methods." Chinese Automation Congress (Online), 22 Oct. 2021, pp. 3776-3780, https://doi.org/10.1109/CAC53003.2021.9727653.