Hugo Brakman, Vincent Driessen, Joseph Kavuma, Laura Nij Bijvank, Sander Vermolen. A Formal Model of the Bluetooth Inquiry Protocol. In Formal Methods in the Teaching Lab -- A Workshop at the Formal Methods 2006 Symposium. McMaster University, Hamilton, Ontario, Canada, August 2006.
Abstract is missing.