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

Jens Christian Godskesen; Hans Huttel; Morten Kühnrich

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 tidsskrift › Konferenceartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Electronical Notes in Theoretical Computer Science
Udgave nummer	2
Sider (fra-til)	77-93
ISSN	1571-0661
Status	Udgivet - 2009
Begivenhed	7th 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

Workshop	7th international Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008), associated to ICALP08
Nummer	7
Land/Område	Island
By	Reykjavik
Periode	13/07/2008 → …

Citationsformater

@inproceedings{c217dbd0d01f11dda259000ea68e967b,

title = "Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks",

author = "Godskesen, {Jens Christian} and Hans Huttel and Morten K{\"u}hnrich",

note = "Technical report, men ogs{\aa} peer reviewed article Technical Report ITI-08-05 udgivet af Dept. of Computer Science University of M{\'a}laga Volumne: 229; null ; Conference date: 13-07-2008",

year = "2009",

language = "English",

pages = "77--93",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Pergamon Press",

number = "2",

}

TY - GEN

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

AU - Godskesen, Jens Christian

AU - Huttel, Hans

AU - Kühnrich, Morten

N1 - Conference code: 7

PY - 2009

Y1 - 2009

M3 - Conference article

SP - 77

EP - 93

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 2

Y2 - 13 July 2008

ER -