Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks

Jens Christian Godskesen, Hans Huttel, Morten Kühnrich

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    OriginalsprogEngelsk
    TidsskriftElectronical Notes in Theoretical Computer Science
    Udgave nummer2
    Sider (fra-til)77-93
    ISSN1571-0661
    StatusUdgivet - 2009
    Begivenhed7th international Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008), associated to ICALP08 - Reykjavik, Island
    Varighed: 13 jul. 2008 → …
    Konferencens nummer: 7

    Workshop

    Workshop7th international Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008), associated to ICALP08
    Nummer7
    Land/OmrådeIsland
    ByReykjavik
    Periode13/07/2008 → …

    Citationsformater