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]
@inproceedings{0002NKCM15,
title = {CÒIR: Verifying Normative Specifications of Complex Systems},
author = {Luca Gasparini 0002 and Timothy J. Norman and Martin J. Kollingbaum and Liang Chen and John-Jules Ch. Meyer},
year = {2015},
doi = {10.1007/978-3-319-42691-4_8},
url = {http://dx.doi.org/10.1007/978-3-319-42691-4_8},
researchr = {https://researchr.org/publication/0002NKCM15},
cites = {0},
citedby = {0},
pages = {134-153},
booktitle = {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},
editor = {Virginia Dignum and Pablo Noriega and Murat Sensoy and Jaime Simão Sichman},
volume = {9628},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-42690-7},
}