Mairi McCallum, Wamberto Weber Vasconcelos, Timothy J. Norman. Verification and Analysis of Organisational Change. In Olivier Boissier, Julian A. Padget, Virginia Dignum, Gabriela Lindemann, Eric T. Matson, Sascha Ossowski, Jaime Simão Sichman, Javier Vázquez-Salceda, editors, Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht,. Volume 3913 of Lecture Notes in Computer Science, pages 48-63, Springer, 2005. [doi]
Abstract is missing.