A formal analysis of Bluetooth device discovery (2006)

by M DUFLOT, M KWIATKOWSKA, G NORMAN, D PARKER
Venue:Int.JournalonSoftwareToolsforTechnologyTransfer