Formal specification of FFHMIPv6 using PVS.

Thu, 01 Jan 2009 00:00:00 +0100

Changlong Zhu, Rasha Morsi:
Formal specification of FFHMIPv6 using PVS. SpringSim 2009