Skip to main content

Formal techniques for the analysis of wireless networks.

Authors

Ansgar Fehnker and Annabelle McIver

NICTA

Macquarie University

Abstract

BibTeX Entry

  @inproceedings{Fehnker_McIver_06,
    author           = {Fehnker, Ansgar and McIver, Annabelle},
    editor           = {{Tiziana Margaria and Anna Philippou and Bernhard Steffen}},
    month            = oct,
    series           = {IEEE proceedings},
    year             = {2006},
    title            = {Formal Techniques for the Analysis of Wireless Networks.},
    booktitle        = {International Symposium on Leveraging Applications of Formal Methods, Verification and Validation},
    paperurl         = {https://ts.data61.csiro.au/publications/nicta_full_text/129.pdf}
  }

Download

Served by Apache on Linux on seL4.