Publication View

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

Publication details

Publisher	Springer
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/14395/