约束有界模理论非集式Web服务自动机检测
郑健江,陈长清
控制工程 . 2016, (8): 1261 .