[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

✍ Scribed by 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

• Book ID: 118271219
• Publisher: IEEE
• Year: 2007
• Weight: 163 KB
• Volume: 0
• Category: Article
• ISBN-13: 9780769528625
• DOI: 10.1109/sew.2007.105