CO'IR

Verifying Normative Specifications of Complex Systems

Luca Gasparini, Timothy J Norman, Martin J Kollingbaum, Liang Chen, John-Jules Ch Meyer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the 19th International Workshop on Coordination, Organisations, Institutions and Norms in Multiagent Systems
EditorsPablo Noriega, Murat Sensoy
PublisherAAMAS
Pages134-153
Number of pages20
Publication statusPublished - 4 May 2015
EventThe XIX International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems - Istanbul, Turkey
Duration: 4 May 2015 → …

Conference

ConferenceThe XIX International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems
CountryTurkey
CityIstanbul
Period4/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 proceedingConference 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
Gasparini, Luca ; Norman, Timothy J ; Kollingbaum, Martin J ; Chen, Liang ; Meyer, John-Jules Ch. / CO'IR : Verifying Normative Specifications of Complex Systems. Proceedings of the 19th International Workshop on Coordination, Organisations, Institutions and Norms in Multiagent Systems. editor / Pablo Noriega ; Murat Sensoy. AAMAS, 2015. pp. 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 -