Towards a formal verification of owl-s process models
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|towards a formal verification of owl-s process models }}
- [[]]
bibtex
{{#vardefine:pagename|Towards a formal verification of owl-s process models }}{{#vardefine:key| }}
abstract:
download:
- paper:
- slides:
Facts about Towards a formal verification of owl-s process modelsRDF feed
| Author | Anupriya Ankolekar +, Massimo Paolucci +, and Katia P. Sycara + |
| Bibtype | inproceedings + |
| Booktitle | International Semantic Web Conference + |
| Doi | http://dx.doi.org/10.1007/11574620_6 + |
| Key | dblp:conf/semweb/ankolekarps05 + |
| Pages | 37-51 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/semweb/AnkolekarPS05 + |
| Tag | Semantic web +, and Computer science + |
| Title | Towards a Formal Verification of OWL-S Process Models + |
| Year | 2005 + |
