Wang, H. H., Payne, T., Gibbins, N. and Saleh, A. (2007) Formal Specification of OWL-S with Object-Z: the Dynamic Aspect. In: The 8th International Conference on Web Information Systems Engineering, Dec, Nancy, France. pp. 237-248. Full text not available from this repository.
| Item Type: | Conference or Workshop Item | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Creator/Authors: |
| ||||||||
| Research Group: | Current ECS Groups > Web and Internet Science Old ECS Groups > Intelligence, Agents, Multimedia | ||||||||
| Date: | 2007 | ||||||||
| Information about this record: | |||||||||
| Performance Indicator: | EZ~04~04~04 | ||||||||
| Citations: | ISI: 1, Google Scholar: 5 | ||||||||
| ID Code: | 14395 | ||||||||
| Last Modified: | 23 Sep 2011 10:35 | ||||||||
| Deposited On: | 07 Aug 2007 by Wang, Hai | ||||||||
Tools & Metadata
Corrections
ECS staff and postgraduates may modify this record
