![[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]()
[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 AlgebraLi, 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 · 2007