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