A Tool Environment for Specifying and Verifying Multi-agent Systems | Dr. Ammar Mohammed

A Tool Environment for Specifying and Verifying Multi-agent Systems

Citation:: Schwarz, C., A. Mohammed, and F. Stolzenburg, "A Tool Environment for Specifying and Verifying Multi-agent Systems", ICAART 2 - Proceedings of the International Conference on Agents and Artificial Intelligence, vol. 2, Valencia, Spain, INSTICC Press, pp. {323-326, 2010.