Model-checking agent refinement

Additional Metadata
ACM	Software (acm D)
THEME	Software (theme 1)
Publisher	IFAAMAS
Series	Proceedings of the International Conference on Autonomous Agents and Multiagent Systems
Project	Coordination and Composition in Multi-Agent Systems
Conference	International Joint Conference on Autonomous Agents and Multiagent Systems
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. (2008). Model-checking agent refinement. In International Joint Conference on Autonomous Agents and Multiagent Systems. IFAAMAS.

Publication