Dapeng Zhang, Xiang Ji, Xinsheng Wang. An AUML State Machine Based Method for Multi-agent Systems Model Checking. In Zhongzhi Shi, Zhaohui Wu, David B. Leake, Uli Sattler, editors, Intelligent Information Processing VII - 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings. Volume 432 of IFIP Advances in Information and Communication Technology, pages 106-112, Springer, 2014. [doi]
@inproceedings{ZhangJW14, title = {An AUML State Machine Based Method for Multi-agent Systems Model Checking}, author = {Dapeng Zhang and Xiang Ji and Xinsheng Wang}, year = {2014}, doi = {10.1007/978-3-662-44980-6_12}, url = {http://dx.doi.org/10.1007/978-3-662-44980-6_12}, researchr = {https://researchr.org/publication/ZhangJW14}, cites = {0}, citedby = {0}, pages = {106-112}, booktitle = {Intelligent Information Processing VII - 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings}, editor = {Zhongzhi Shi and Zhaohui Wu and David B. Leake and Uli Sattler}, volume = {432}, series = {IFIP Advances in Information and Communication Technology}, publisher = {Springer}, isbn = {978-3-662-44979-0}, }