DMCA

A Formal Analysis of Bluetooth Device Discovery (2004)

by Marie Duflot , Marta Kwiatkowska , Gethin Norman , David Parker
Venue:In Proc. 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA’04
Citations:46 - 12 self