Mario Kusek Kresimir Jurasovic Gordan Jezic Verification of the Mobile Agent Network Simulator - a Tool for Simulating Multi-Agent Systems. 651-682 2008 18 International Journal of Software Engineering and Knowledge Engineering 5 http://dx.doi.org/10.1142/S0218194008003854 db/journals/ijseke/ijseke18.html#KusekJJ08