| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 19th International Workshop on Coordination, Organisations, Institutions and Norms in Multiagent Systems |
| Editors | Pablo Noriega, Murat Sensoy |
| Publisher | AAMAS |
| Pages | 134-153 |
| Number of pages | 20 |
| Publication status | Published - 4 May 2015 |
| Event | The XIX International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems - Istanbul, Turkey Duration: 4 May 2015 → … |
Conference
| Conference | The XIX International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems |
|---|---|
| Country | Turkey |
| City | Istanbul |
| Period | 4/05/15 → … |
Cite this
Gasparini, L., Norman, T. J., Kollingbaum, M. J., Chen, L., & Meyer, J-J. C. (2015). CO'IR: Verifying Normative Specifications of Complex Systems. In P. Noriega, & M. Sensoy (Eds.), Proceedings of the 19th International Workshop on Coordination, Organisations, Institutions and Norms in Multiagent Systems (pp. 134-153). AAMAS.
CO'IR : Verifying Normative Specifications of Complex Systems. / Gasparini, Luca; Norman, Timothy J; Kollingbaum, Martin J; Chen, Liang; Meyer, John-Jules Ch.
Proceedings of the 19th International Workshop on Coordination, Organisations, Institutions and Norms in Multiagent Systems. ed. / Pablo Noriega; Murat Sensoy. AAMAS, 2015. p. 134-153.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Gasparini, L, Norman, TJ, Kollingbaum, MJ, Chen, L & Meyer, J-JC 2015, CO'IR: Verifying Normative Specifications of Complex Systems. in P Noriega & M Sensoy (eds), Proceedings of the 19th International Workshop on Coordination, Organisations, Institutions and Norms in Multiagent Systems. AAMAS, pp. 134-153, The XIX International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems, Istanbul, Turkey, 4/05/15.
Gasparini L, Norman TJ, Kollingbaum MJ, Chen L, Meyer J-JC. CO'IR: Verifying Normative Specifications of Complex Systems. In Noriega P, Sensoy M, editors, Proceedings of the 19th International Workshop on Coordination, Organisations, Institutions and Norms in Multiagent Systems. AAMAS. 2015. p. 134-153
@inproceedings{d2e0c58104374f379904b72461a52b70,
title = "CO'IR: Verifying Normative Specifications of Complex Systems",
author = "Luca Gasparini and Norman, {Timothy J} and Kollingbaum, {Martin J} and Liang Chen and Meyer, {John-Jules Ch}",
year = "2015",
month = "5",
day = "4",
language = "English",
pages = "134--153",
editor = "Pablo Noriega and Murat Sensoy",
booktitle = "Proceedings of the 19th International Workshop on Coordination, Organisations, Institutions and Norms in Multiagent Systems",
publisher = "AAMAS",
}
TY - GEN
T1 - CO'IR
T2 - Verifying Normative Specifications of Complex Systems
AU - Gasparini, Luca
AU - Norman, Timothy J
AU - Kollingbaum, Martin J
AU - Chen, Liang
AU - Meyer, John-Jules Ch
PY - 2015/5/4
Y1 - 2015/5/4
M3 - Conference contribution
SP - 134
EP - 153
BT - Proceedings of the 19th International Workshop on Coordination, Organisations, Institutions and Norms in Multiagent Systems
A2 - Noriega, Pablo
A2 - Sensoy, Murat
PB - AAMAS
ER -