@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={}
}