Verifying Normative System Specification containing Collective Imperatives and Deadlines

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

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

2 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the Fourteenth International Conference on Autonomous Agents and Multiagent Systems
PublisherACM
Pages1821-1822
Number of pages2
ISBN (Electronic)978-1-4503-3413-6
Publication statusPublished - 2015
Event2015 International Conference on Autonomous Agents and Multiagent Systems - Istanbul, Turkey
Duration: 4 May 20158 May 2015

Conference

Conference2015 International Conference on Autonomous Agents and Multiagent Systems
CountryTurkey
CityIstanbul
Period4/05/158/05/15

Cite this

Gasparini, L., Norman, T. J., Kollingbaum, M. J., Chen, L., & Meyer, J-J. C. (2015). Verifying Normative System Specification containing Collective Imperatives and Deadlines. In Proceedings of the Fourteenth International Conference on Autonomous Agents and Multiagent Systems (pp. 1821-1822). ACM.

Verifying Normative System Specification containing Collective Imperatives and Deadlines. / Gasparini, Luca; Norman, Timothy J.; Kollingbaum, Martin J.; Chen, Liang; Meyer, John-Jules Ch.

Proceedings of the Fourteenth International Conference on Autonomous Agents and Multiagent Systems. ACM, 2015. p. 1821-1822.

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

Gasparini, L, Norman, TJ, Kollingbaum, MJ, Chen, L & Meyer, J-JC 2015, Verifying Normative System Specification containing Collective Imperatives and Deadlines. in Proceedings of the Fourteenth International Conference on Autonomous Agents and Multiagent Systems. ACM, pp. 1821-1822, 2015 International Conference on Autonomous Agents and Multiagent Systems, Istanbul, Turkey, 4/05/15.
Gasparini L, Norman TJ, Kollingbaum MJ, Chen L, Meyer J-JC. Verifying Normative System Specification containing Collective Imperatives and Deadlines. In Proceedings of the Fourteenth International Conference on Autonomous Agents and Multiagent Systems. ACM. 2015. p. 1821-1822
Gasparini, Luca ; Norman, Timothy J. ; Kollingbaum, Martin J. ; Chen, Liang ; Meyer, John-Jules Ch. / Verifying Normative System Specification containing Collective Imperatives and Deadlines. Proceedings of the Fourteenth International Conference on Autonomous Agents and Multiagent Systems. ACM, 2015. pp. 1821-1822
@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",

}

TY - GEN

T1 - Verifying Normative System Specification containing Collective Imperatives and Deadlines

AU - Gasparini, Luca

AU - Norman, Timothy J.

AU - Kollingbaum, Martin J.

AU - Chen, Liang

AU - Meyer, John-Jules Ch.

PY - 2015

Y1 - 2015

M3 - Conference contribution

SP - 1821

EP - 1822

BT - Proceedings of the Fourteenth International Conference on Autonomous Agents and Multiagent Systems

PB - ACM

ER -