[ACM Press the 12th International Conference - Paris, France (2010.11.08-2010.11.10)] Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services - iiWAS '10 - Towards an approach of formal verification of mediation protocol based on web services
Graiet, Mohamed, Maraoui, Raoudha, Kmimech, Mourad, Bhiri, Mohamed Tahar, Gaaloul, WalidYear:
2010
Language:
english
DOI:
10.1145/1967486.1967502
File:
PDF, 403 KB
english, 2010