@InProceedings{DKNP04, author={M. Duflot and M. Kwiatkowska and G. Norman and D. Parker}, title={A Formal Analysis of {Bluetooth} Device Discovery}, booktitle={Proc. 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04)}, year={2004}, editor={}, pages={}, organization={}, publisher={}, series={}, volume={}, address={}, month={}, note={}, key={} }