Web Service Planning by Model Checking
Recommend
Automated Composition of Semantic Web Services into Executable Processes
by P. Traverso and M. Pistore
©2012
Charles Petrie
- permission to reproduce widely with attribution.
