基于扩展自动机的服务组合静态与动态验证方法 - 张广泉; 狄浩军; 石慧娟; 晏荣杰; 朱雪阳 (通信学报, 2012)
Keywords: CTL; 定量属性; 有限自动机; Web服务组合; UPPAAL