Luca Gasparini 0002, Timothy J. Norman, Martin J. Kollingbaum, Liang Chen, John-Jules Ch. Meyer. CÒIR: Verifying Normative Specifications of Complex Systems. In Virginia Dignum, Pablo Noriega, Murat Sensoy, Jaime Simão Sichman, editors, Coordination, Organizations, Institutions, and Normes in Agent Systems XI - COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers. Volume 9628 of Lecture Notes in Computer Science, pages 134-153, Springer, 2015. [doi]
Abstract is missing.