Simulation, verification and automated composition of web services (2002)

by S Narayanan, S A McIlraith
Venue:In Proceedings of the International Conference on the World Wide Web (WWW