Formal Verification of 802.11 MAC Layer Handoff Process Using SPIN Model Checker | IEEE Conference Publication | IEEE Xplore