Loading...
report
Formal Analysis of Secure Neighbor Discovery (Isabelle/HOL Mechanization)
2011
Loading...
Name
SND_1.thy.ma
Access type
openaccess
Size
89.49 KB
Format
Mathematica
Checksum (MD5)
6766465142188fe64b800429c7a6cdb0
Formal Analysis of Secure Neighbor Discovery (Isabelle/HOL Mechanization)
SND_1.thy.ma
openaccess
89.49 KB
Mathematica
6766465142188fe64b800429c7a6cdb0