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

by S Narayanan, S McIlraith
Venue:In: Proceedings of the Eleventh International World Wide Web Conference