Akhtar N, Hussain S. Formal Modeling of a Mail Transport System based on Multi-Agent System-of-Systems. jictra [Internet]. 2019 Jun. 30 [cited 2026 Oct. 5];:68-79. Available from: https://jictra.com.pk/index.php/jictra/article/view/146