On the Semantics and Verification of Normative Multi-Agent Systems

L. Astefanoaei, M. Dastani, J.J. Meyer, and F. de Boer, International Journal of Universal Computer Science, Vol. 15, No. 13, 2009, []

SetPageWidth