Browse wiki
From Semantic Portal Wiki
| Towards a formal verification of owl-s process models |
| Author | Anupriya Ankolekar +, Massimo Paolucci +, Katia P. Sycara + |
|---|---|
| Bibtype | inproceedings + |
| Booktitle | International Semantic Web Conference + |
| Doi | http://dx.doi.org/10.1007/11574620_6 + |
| Key | dblp:conf/semweb/ankolekarps05 + |
| Modification dateThis property is a special property in this wiki. | 25 February 2009 15:01:00 + |
| Pages | 37-51 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/semweb/AnkolekarPS05 + |
| Tag | Semantic web +, Computer science + |
| Title | Towards a Formal Verification of OWL-S Process Models + |
| Year | 2005 + |
| Categories | Proceeding Paper, Publication |
| hide properties that link here |
| No properties link to this page. |
