A Formal Analysis of Bluetooth Device Discovery

Marie Duflot, Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Contribution to journalArticle

71 Citations (Scopus)
Original languageEnglish
Pages (from-to)621-632
Number of pages12
JournalInternational Journal on Software Tools for Technology Transfer
Volume8
Issue number6
DOIs
Publication statusPublished - 27 Oct 2006

Cite this