M. Matash Borujerdi and S.M. Mirzababaei, Formal Verification of a Multicast Protocol in Mobile Networks. journal = {International Journal of Electronics and Communication Engineering}, [online]. World Academy of Science, Engineering and Technology. November 2007, vol. 11(11). 1715 - 1721 [viewed 21 September 2024]. Available from: https://publications.waset.org/pdf/9137.