Mario Kusek, Kresimir Jurasovic, Gordan Jezic. Verification of the Mobile Agent Network Simulator - a Tool for Simulating Multi-Agent Systems. International Journal of Software Engineering and Knowledge Engineering, 18(5):651-682, 2008. [doi]
Abstract is missing.