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

by S Narayanan, S McIlraith
Venue:In Proceedings of the 11th international conference on World Wide Web