Towards verifying compliance in agent-based web service compositions (2008)

by A Lomuscio, H Qu, M Solanki
Venue:In: Proceedings of The Seventh International Joint Conference on Autonomous Agents and Multi-agent systems (AAMAS-08