Effective co-verification of IEEE 802.11a MAC/PHY combining emulation and simulation technology | IEEE Conference Publication | IEEE Xplore