Formal modelling and evaluation of the data transfer phase of the ACL links on the WPAN Bluetooth.

Tarik Khoutaif, Guy Juanole

Browse the full ETFA paper archive.