Quantitative Analysis and Verification
Department of Computer Science, University of Oxford
[Tin04]
C. Tindall.
Bluetooth: a multiplatform messaging client.
Masters thesis, School of Computer Science, University of Birmingham.
September
2004.
[
bib
]
Downloads:
bib
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
QAV:
>
Home
>
People
>
Projects
>
Publications