@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 = may,
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",
note = "The XIX International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems ; Conference date: 04-05-2015",
}