Nirmit Desai, Nanjangud C. Narendra, Munindar P. Singh. Checking correctness of business contracts via commitments. In Lin Padgham, David C. Parkes, Jörg Müller, Simon Parsons, editors, 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 2. pages 787-794, IFAAMAS, 2008. [doi]
Abstract is missing.