Formal Description Approach for Agent-Based Mobile Computing

Cong Xu, Jinkui Hou. Formal Description Approach for Agent-Based Mobile Computing. In AIAM2020: 2nd International Conference on Artificial Intelligence and Advanced Manufacture, Manchester, United Kingdom, October 15-17, 2020. pages 222-229, ACM, 2020. [doi]

@inproceedings{XuH20-11,
  title = {Formal Description Approach for Agent-Based Mobile Computing},
  author = {Cong Xu and Jinkui Hou},
  year = {2020},
  doi = {10.1145/3421766.3421822},
  url = {https://doi.org/10.1145/3421766.3421822},
  researchr = {https://researchr.org/publication/XuH20-11},
  cites = {0},
  citedby = {0},
  pages = {222-229},
  booktitle = {AIAM2020: 2nd International Conference on Artificial Intelligence and Advanced Manufacture, Manchester, United Kingdom, October 15-17, 2020},
  publisher = {ACM},
  isbn = {978-1-4503-7553-5},
}