Publication View

Formal Specification of OWL-S with Object-Z: the Static Aspect (2007)

Publication details

Publisher	IEEE Computer Society Press
Repository	University of Southampton [School of Electronics and Computer Science] (United Kingdom)
Type	Conference or Workshop Item, PeerReviewed
Relation	http://eprints.ecs.soton.ac.uk/13838/