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

by S Narayanan, S McIlraith
Venue:In Proc. Int. World Wide Web Conf. (WWW