Spinning the OWL-S Process Model - Toward the Verification of the OWL-S Process Models

Anupriya Ankolekar, Massimo Paolucci, Katia P. Sycara. Spinning the OWL-S Process Model - Toward the Verification of the OWL-S Process Models. In David Martin, Rubén Lara, Takahira Yamaguchi, editors, Proceedings of the ISWC 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, SWS@ISWC 2004, Hiroshima, Japan, November 8, 2004. Volume 119 of CEUR Workshop Proceedings, CEUR-WS.org, 2004. [doi]

Authors

Anupriya Ankolekar

This author has not been identified. Look up 'Anupriya Ankolekar' in Google

Massimo Paolucci

This author has not been identified. Look up 'Massimo Paolucci' in Google

Katia P. Sycara

This author has not been identified. Look up 'Katia P. Sycara' in Google