Christian Schwarz, Ammar Mohammed, Frieder Stolzenburg. A Tool Environment for Specifying and Verifying Multi-agent Systems. In Joaquim Filipe, Ana L. N. Fred, Bernadette Sharp, editors, ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2 - Agents, Valencia, Spain, January 22-24, 2010. pages 323-326, INSTICC Press, 2010.
Abstract is missing.