Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xianfei Tang, Changjun Jiang, Zhijun Ding. Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models. In 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA. pages 1162-1163, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Xianfei Tang' in GoogleThis author has not been identified. Look up 'Changjun Jiang' in GoogleThis author has not been identified. Look up 'Zhijun Ding' in Google

runs on WebDSL