Wang, Hai H., Payne, Terry, Gibbins, Nick and Saleh, Ahmed (2007) Formal Specification of OWL-S with Object-Z: the Dynamic Aspect. The 8th International Conference on Web Information Systems Engineering, Nancy, France. pp. 237-248 .
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: Dec
Venue - Dates:
The 8th International Conference on Web Information Systems Engineering, Nancy, France, 2007-12-01
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 264395
URI: http://eprints.soton.ac.uk/id/eprint/264395
PURE UUID: 35f60a36-dd93-4043-a674-a5d38f96809d
Catalogue record
Date deposited: 07 Aug 2007
Last modified: 09 Jan 2022 02:57
Export record
Contributors
Author:
Hai H. Wang
Author:
Terry Payne
Author:
Nick Gibbins
Author:
Ahmed Saleh
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.