Towards a Formal Verification of OWL-S Process Models

Has publishing details pp. 37-51, 2005

Has title Towards a Formal Verification of OWL-S Process Models

Has url http://www.informatik.uni-trier.de/~ley/db/conf/semweb/iswc2005.html#AnkolekarPS05

Has where published International Semantic Web Conference

Has year 2005

Has author Anupriya Ankolekar +, Massimo Paolucci +, Katia P. Sycara +

Has identifier Towards a Formal Verification of OWL-S Process Models +

Categories Proceeding Paper +