Open Science Research Excellence
Borujerdi, M. , Mirzababaei, S.. "Formal Verification of a Multicast Protocol in Mobile Networks". World Academy of Science, Engineering and Technology, International Science Index 11, International Journal of Electrical, Computer, Energetic, Electronic and Communication Engineering (2007), 1(11), 1715 - 1721.