Còir: Verifying Normative Specifications of Complex Systems

L. Gasparini; T.J. Norman; Martin J. Kollingbaum; L. Chen; J.J.Ch. Meyer

Còir: Verifying Normative Specifications of Complex Systems

L. Gasparini, T.J. Norman, Martin J. Kollingbaum, L. Chen, J.J.Ch. Meyer

extern

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Pre-proc. COIN@AAMAS2015 (the 18h International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems
Editors	P. Noriega, M. Sensoy
Number of pages	16
Publication status	Published - 2015

Cite this

@inproceedings{fd5e54a659e241c6b73c1fce862773bc,

title = "C{\`o}ir: Verifying Normative Specifications of Complex Systems",

author = "L. Gasparini and T.J. Norman and Kollingbaum, {Martin J.} and L. Chen and J.J.Ch. Meyer",

year = "2015",

language = "English",

editor = "P. Noriega and M. Sensoy",

booktitle = "Pre-proc. COIN@AAMAS2015 (the 18h International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems",

}

Còir: Verifying Normative Specifications of Complex Systems. / Gasparini, L.; Norman, T.J.; Kollingbaum, Martin J. et al.
Pre-proc. COIN@AAMAS2015 (the 18h International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems . ed. / P. Noriega; M. Sensoy. 2015.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Còir: Verifying Normative Specifications of Complex Systems

AU - Gasparini, L.

AU - Norman, T.J.

AU - Kollingbaum, Martin J.

AU - Chen, L.

AU - Meyer, J.J.Ch.

PY - 2015

Y1 - 2015

M3 - Conference contribution

BT - Pre-proc. COIN@AAMAS2015 (the 18h International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems

A2 - Noriega, P.

A2 - Sensoy, M.

ER -