Protocol Verification of Translation in Mobile Internet Protocol Version 4 and 6. - Susanna S. Henry; B. Vijay Kumar; V. Santhosh Kumar; Gurwinder Singh (J. Comput., 2016)