Louise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer. Model Checking Normative Agent Organisations. In Jürgen Dix, Michael Fisher, Peter Novák, editors, Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers. Volume 6214 of Lecture Notes in Computer Science, pages 64-82, Springer, 2009. [doi]
Abstract is missing.