A Verification Framework for Normative Multi-Agent Systems

2008

Presented at the Pacific Rim International Conference on Multi-Agents, Hanoi, Vietnam

Additional Metadata
THEME	Software (theme 1)
Publisher	Springer
Series	Lecture Notes in Computer Science
Project	Coordination and Composition in Multi-Agent Systems
Conference	Pacific Rim International Conference on Multi-Agents
Note	NWO project
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	de Boer, F., Astefanoaei, L., Dastani, M., & Meyer, J.-J. (2008). A Verification Framework for Normative Multi-Agent Systems. In Intelligent Agents and Multi-Agent Systems (pp. 54–65). Springer.

Publication