Skip to main navigation Skip to search Skip to main content

Static Analysis of Routing Protocols for Ad-Hoc Networks

  • Sebastian Nanz
  • , Chris Hankin
    • Imperial College London

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the 2004 ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'04)
    Publication date2004
    Publication statusPublished - 2004
    EventFourth IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security - Barcelona, Spain
    Duration: 3 Apr 20044 Apr 2004

    Workshop

    WorkshopFourth IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security
    Country/TerritorySpain
    CityBarcelona
    Period03/04/200404/04/2004

    Cite this