A Formal Analysis of Bluetooth Device Discovery (2004)

by Marie Duflot, Marta Kwiatkowska, Gethin Norman, David Parker
Venue:In Proc. 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA’04