张广泉, 狄浩军, 石慧娟, 晏荣杰, & 朱雪阳. (2012). 基于扩展自动机的服务组合静态与动态验证方法. 通信学报, z1, 1-8. https://doi.org/10.3969/j.issn.1000-436x.2012.z1.001
Chicago Style (17th ed.) Citation张广泉, 狄浩军, 石慧娟, 晏荣杰, and 朱雪阳. "基于扩展自动机的服务组合静态与动态验证方法." 通信学报 z1 (2012): 1-8. https://doi.org/10.3969/j.issn.1000-436x.2012.z1.001.
MLA (9th ed.) Citation张广泉, et al. "基于扩展自动机的服务组合静态与动态验证方法." 通信学报, z1, 2012, pp. 1-8, https://doi.org/10.3969/j.issn.1000-436x.2012.z1.001.
Warning: These citations may not always be 100% accurate.