×
2008
A Rewriting Logic Approach to OWL-S Composite Process Formal Specification.
[DOI]
JunFeng Wu
,
HuaiKou Miao
Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008