@inproceedings{fd125c82ccbd495d9f8e8e6b283a0642,
title = "Verifying Normative System Specification containing Collective Imperatives and Deadlines",
author = "Luca Gasparini and Norman, {Timothy J.} and Kollingbaum, {Martin J.} and Liang Chen and Meyer, {John-Jules Ch.}",
year = "2015",
language = "English",
pages = "1821--1822",
booktitle = "Proceedings of the Fourteenth International Conference on Autonomous Agents and Multiagent Systems",
publisher = "ACM",
note = "2015 International Conference on Autonomous Agents and Multiagent Systems ; Conference date: 04-05-2015 Through 08-05-2015",
}