第三届虚拟组织形式化方面研讨会论文集
多智能体系统
2012-04-27 v1
摘要
本卷收录了第三届虚拟组织形式化方面国际研讨会（FAVO 2011）的论文集。该研讨会于2011年10月18日在巴西圣保罗举行，作为第12届IFIP虚拟企业工作会议（PRO-VE'11）的卫星活动。FAVO研讨会旨在为对形式化技术在虚拟组织设计与分析中的应用感兴趣的研究人员提供一个论坛。
引用
@article{arxiv.1204.5796,
title = {Proceedings Third Workshop on Formal Aspects of Virtual Organisations},
author = {Jeremy Bryans and John Fitzgerald},
journal= {arXiv preprint arXiv:1204.5796},
year = {2012}
}