Analysis of Multiagent Based Interactive Grid Using Formal Methods - A Reliable Approach

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]

@inproceedings{Bhavsar10,
  title = {Analysis of Multiagent Based Interactive Grid Using Formal Methods - A Reliable Approach},
  author = {Madhuri Bhavsar},
  year = {2010},
  doi = {10.1109/ICETET.2010.51},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICETET.2010.51},
  researchr = {https://researchr.org/publication/Bhavsar10},
  cites = {0},
  citedby = {0},
  pages = {462-466},
  booktitle = {3rd International Conference on Emerging Trends in Engineering and Technology, ICETET 2010, Goa, India, November 19-21, 2010},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4246-1},
}