[IEEE 31st IEEE Software Engineering Workshop (SEW 2007) - Columbia, MD, USA (2007.03.6-2007.02.8)] 31st IEEE Software Engineering Workshop (SEW 2007) - Modeling and Verifying Web Services Choreography Using Process Algebra

• 作者Li, Jing; Li, Jing; Li, Jing; Li, Jing; Li, Jing; Li, Jing; Li, Jing; Li, Jing; Li, Jing; He, Jifeng; He, Jifeng; He, Jifeng; He, Jifeng; He, Jifeng; He, Jifeng; He, Jifeng; He, Jifeng; He, Jifeng; Zhu, Huibiao; Zhu, Huibiao; Zhu, Huibiao; Zhu, Huibiao; Zhu, Huibiao; Zhu, Huibiao; Zhu, Huibiao; Zhu, Huibiao; Zhu, Huibiao; Pu, Geguang; Pu, Geguang; Pu, Geguang; Pu, Geguang; Pu, Geguang; Pu, Geguang; Pu, Geguang; Pu, Geguang; Pu, Geguang
• 文件大小162.85KB
• 发表时间2007
• DOI10.1109/sew.2007.105
• 页码256-268