Madhuri Bhavsar. Analysis of Multiagent Based Interactive Grid Using Formal Methods - A Reliable Approach. In 3rd International Conference on Emerging Trends in Engineering and Technology, ICETET 2010, Goa, India, November 19-21, 2010. pages 462-466, IEEE Computer Society, 2010. [doi]
Abstract is missing.