Files
Details
Title
Formal Analysis of Secure Neighbor Discovery (Isabelle/HOL Mechanization)
Author(s)
Poturalski, Marcin
Date
2011
Laboratories
NON-ACADEMIC
Record Appears in
Scientific production and competences > Unattributed publications > NON-ACADEMIC - NON ACADEMIC - Unattributed publications
Scientific production and competences > Non-academic units > NON-ACADEMIC - Unattributed publications
Work produced at EPFL
Technical Reports
Published
Scientific production and competences > Non-academic units > NON-ACADEMIC - Unattributed publications
Work produced at EPFL
Technical Reports
Published
Record creation date
2011-06-07