计算机科学
数据和时间感知的Web服务组合模型检测
狄浩军，戎玫，张广泉，朱稷涵
Model Checking of Data and Time Aware Web Service Composition
计算机科学 . 2011, (11): 123 -126 . 

渝ICP备16013121号-4
地址：重庆市渝北区洪湖西路18号    邮编：401121  
电话：023-63500828（编辑部） 023-67039612（会议/专题） 023-67039623（财务/发票）
E-mail：jsjkx12@163.com
本系统由北京玛格泰克科技发展有限公司设计开发