@misc {IOPORT.70275314,
    author       = {Zhu, Changlong and Morsi, Rasha},
    title        = {Formal specification of ffhmipv6 using PVS},
    howpublished = {SpringSim (2009).},
    year         = {2009},
    doi          = {10.1145/1639809.1639946},
    identifier   = {70275314},
}