![](/img/cover-not-exists.png)
[IEEE Proceedings of 2005 International Conference on Machine Learning and Cybernetics - Guangzhou, China (2005.08.21-2005.08.21)] 2005 International Conference on Machine Learning and Cybernetics - Specification and Verification of Multi-Agent Systems with a Property-Preserving Component-Based Methodology
He-Jiao Huang,, Xuan Wang,, Qing-Cai Chen,, Xiao-Long Wang,Year:
2005
Language:
english
DOI:
10.1109/ICMLC.2005.1526925
File:
PDF, 354 KB
english, 2005