Formalization, Implementation, and Verification of the Bluetooth L2CAP State Machine.

Tan Khang Le, Mohammad Omidvar Tehrani, Yuepeng Wang, Jianliang Wu, Steven Y. Ko

Browse the full MOBICOM paper archive.