A Formal Analysis of Bluetooth Device Discovery.

Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker

Browse the full ISoLA paper archive.