Publication View

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

Publication details

Publisher	IEEE Computer Society Press
Repository	WWW Conferences Archive (United Kingdom)
Type	Conference or Workshop Item, PeerReviewed
Relation	http://eprints.ecs.soton.ac.uk/13838/