Formal Specification of OWL-S with Object-Z: the Static Aspect
Formal Specification of OWL-S with Object-Z: the Static Aspect
Wang, Hai H.
94445d8a-231a-4e73-b2b1-addc72e0e778
Saleh, Ahmed
84c6e56c-080b-4aa8-a398-3d7cd3d7736e
Payne, Terry
0bb13d45-2735-45a3-b72c-472fddbd0bb4
Gibbins, Nick
98efd447-4aa7-411c-86d1-955a612eceac
2007
Wang, Hai H.
94445d8a-231a-4e73-b2b1-addc72e0e778
Saleh, Ahmed
84c6e56c-080b-4aa8-a398-3d7cd3d7736e
Payne, Terry
0bb13d45-2735-45a3-b72c-472fddbd0bb4
Gibbins, Nick
98efd447-4aa7-411c-86d1-955a612eceac
Wang, Hai H., Saleh, Ahmed, Payne, Terry and Gibbins, Nick
(2007)
Formal Specification of OWL-S with Object-Z: the Static Aspect.
The 2007 IEEE/WIC/ACM International Conference on Web Intelligence, Silicon Valley, United States.
Record type:
Conference or Workshop Item
(Paper)
This record has no associated files available for download.
More information
Published date: 2007
Additional Information:
Event Dates: Nov
Venue - Dates:
The 2007 IEEE/WIC/ACM International Conference on Web Intelligence, Silicon Valley, United States, 2007-11-01
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 263838
URI: http://eprints.soton.ac.uk/id/eprint/263838
PURE UUID: b4fdb93a-e047-4bc0-bfae-ee6b38becec8
Catalogue record
Date deposited: 07 Aug 2007
Last modified: 09 Jan 2022 02:57
Export record
Contributors
Author:
Hai H. Wang
Author:
Ahmed Saleh
Author:
Terry Payne
Author:
Nick Gibbins
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics