✦ LIBER ✦

[IEEE 2009 IEEE Congress on Services (SERVICES) - Los Angeles, CA, USA (2009.07.6-2009.07.10)] 2009 Congress on Services - I - Verifying WS-CDL-Based Web Services Collaboration by Model Checking

✍ Scribed by Kang, Zuling; Wang, Hongbing

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 IEEE Congress on Services (SE

✍ Cao, Tien-Dung; Félix, Patrick; Castanet, Richard; Berrada, Ismail 📂 Article 📅 2009 🏛 IEEE ⚖ 227 KB

[IEEE 2009 IEEE Congress on Services (SE

✍ Ye, Xinfeng; Chen, Yi 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 535 KB

[IEEE 2009 IEEE Congress on Services (SE

✍ Marzouk, Soumaya; Maâlej, Afef Jmal; Rodriguez, Ismael Bouassida; Jmaiel, Mohame 📂 Article 📅 2009 🏛 IEEE ⚖ 275 KB

[IEEE 2009 IEEE Congress on Services (SE

✍ Böger, Davi; Fraga, Joni; Mafra, Paulo; Wangham, Michelle S. 📂 Article 📅 2009 🏛 IEEE ⚖ 208 KB

[IEEE 2009 IEEE Congress on Services (SE

✍ Wassink, Ingo; Vet, Paul E. van der; Wolstencroft, Katy; Neerincx, Pieter B.T.; 📂 Article 📅 2009 🏛 IEEE ⚖ 215 KB

[IEEE 2009 IEEE Congress on Services (SE

✍ Jeng, Jun-Jang; Chang, Henry 📂 Article 📅 2009 🏛 IEEE ⚖ 160 KB