External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

CÒIR: Verifying Normative Specifications of Complex Systems

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]

Authors

Luca Gasparini 0002

This author has not been identified. Look up 'Luca Gasparini 0002' in Google

Timothy J. Norman

This author has not been identified. Look up 'Timothy J. Norman' in Google

Martin J. Kollingbaum

This author has not been identified. Look up 'Martin J. Kollingbaum' in Google

Liang Chen

This author has not been identified. Look up 'Liang Chen' in Google

John-Jules Ch. Meyer

This author has not been identified. It may be one of the following persons: Look up 'John-Jules Ch. Meyer' in Google
runs on