Work

A formal analysis of bluetooth device discovery

Year: 2006

Type: article

Source: International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-006-0014-x

Authors: Marie Duflot, Marta Kwiatkowska, Gethin Norman, David Parker

Institutions: Université Paris-Est Créteil, Laboratoire d'Algorithmique, Complexité et Logique, University of Birmingham

Language: English

Topic: Bluetooth and Wireless Communication Technologies

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Engineering and Physical Sciences Research Council

OpenAlex ID: W157676457

FWCI: 8.543

Cites: 30

Cited by: 111

Related to: 20