Towards an Approach of Formal Verification of Web Service Composition

Saved in:
Bibliographic Details
Published in:International journal on advances in intelligent systems 2011-04
Main Authors: Graiet, Mohamed, Kmimech, Mourad, Hamel, Lazhar, Bhiri, Mohamed Tahar, Gaaloul, Walid, Maraoui, Raoudha
Format: Article
Language:English
Subjects:
Computer Science
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:1942-2679
1942-2679