Author:
Fernández Venero Mirtha Lina
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);F Arbab,2008
2. Lecture Notes in Computer Science;K Barkaoui,2008
3. Bordini, R., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. J. AAMAS 12(2), 239–256 (2006)
4. Chang, L., He, X.: A model transformation approach for verifying multi-agent systems using SPIN. In: Proceedings of the ACM Symposium on Applied Computing, pp. 37–42(2011)
5. Chang, L., He, X., Shatz, S.M.: A methodology for modeling multi-agent systems using nested Petri nets. Int. J. Softw. Eng. Knowl. Eng. 22(7), 891–925 (2012)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献