AKHTAR, Nadeem; KHAN, Dost Muhammad; MISSEN, Malik M. Saad. Formal Validation of an Agent-based Location Guidance System (LGS). Journal of Information Communication Technologies and Robotic Applications, [S. l.], p. 53–58, 2018. Disponível em: https://www.jictra.com.pk/index.php/jictra/article/view/18. Acesso em: 26 aug. 2026.