Kresimir Jurasovic, Mario Kusek. Verification of Mobile Agent Network Simulator. In Ngoc Thanh Nguyen, Adam Grzech, Robert J. Howlett, Lakhmi C. Jain, editors, Agent and Multi-Agent Systems: Technologies and Applications, First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31- June 1, 2007, Proceedings. Volume 4496 of Lecture Notes in Computer Science, pages 520-529, Springer, 2007. [doi]
Abstract is missing.