Formal Specification of OWL-S with Object-Z: the Static Aspect
Wang, Hai H., Saleh, Ahmed, Payne, Terry and Gibbins, Nick (2007) Formal Specification of OWL-S with Object-Z: the Static Aspect. In, The 2007 IEEE/WIC/ACM International Conference on Web Intelligence, Silicon Valley, USA, IEEE Computer Society Press.
Download
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: Nov |
| Divisions: | Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 263838 |
| Date Deposited: | 07 Aug 2007 |
| Last Modified: | 21 Aug 2012 03:50 |
| Contributors: | Wang, Hai H. (Author) Saleh, Ahmed (Author) Payne, Terry (Author) Gibbins, Nick (Author) |
| Date: | 2007 |
| Additional Information: | Event Dates: Nov |
| Status: | Published |
| Publisher: | IEEE Computer Society Press |
| Further Information: | Google Scholar |
| ISI Citation Count: | 1 |
| URI: | http://eprints.soton.ac.uk/id/eprint/263838 |
Actions (login required)
 |
View Item |
