Manish Kumar, C and Gopinath, K (2007) Recovery from DoS Attacks in MIPv6: Modelling and Validation. In: Fifth IEEE International Conference on Software Engineering and Formal Methods, 10-14 Sept. 2007 , London .
