A Formal Analysis of Bluetooth Device Discovery

Research output: Contribution to journal › Article

71 Citations (Scopus)

Original language	English
Pages (from-to)	621-632
Number of pages	12
Journal	International Journal on Software Tools for Technology Transfer
Volume	8
Issue number	6
DOIs	https://doi.org/10.1007/s10009-006-0014-x
Publication status	Published - 27 Oct 2006

Access to Document

@article{6b6e55ab02ed4fae908b5bb0b40ebe53,

title = "A Formal Analysis of Bluetooth Device Discovery",

author = "Marie Duflot and Marta Kwiatkowska and Gethin Norman and David Parker",

year = "2006",

month = oct,

day = "27",

doi = "10.1007/s10009-006-0014-x",

language = "English",

volume = "8",

pages = "621--632",

journal = "International Journal on Software Tools for Technology Transfer",

publisher = "Springer",

number = "6",

}

TY - JOUR

T1 - A Formal Analysis of Bluetooth Device Discovery

AU - Duflot, Marie

AU - Kwiatkowska, Marta

AU - Norman, Gethin

AU - Parker, David

PY - 2006/10/27

Y1 - 2006/10/27

UR - https://www.scopus.com/pages/publications/33750454059

U2 - 10.1007/s10009-006-0014-x

DO - 10.1007/s10009-006-0014-x

M3 - Article

VL - 8

SP - 621

EP - 632

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 6

ER -