Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks
- ,
- Hans Huttel,
- Morten Kühnrich
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-reviewPublication Information
Output type
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 77-93Journal (Volume, Issue Number)
Electronic Notes in Theoretical Computer Science (Issue 2)Publication milestones
- Published - 2009
Publication status
Published - 2009
ISSN
1571-0661Publication IDs
- Scopus: 67649921937
Publication metrics
PlumX
Citations
1
Captures
8
Related Event
Title
7th international Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008), associated to ICALP08
Event type
WorkshopDate
13/07/2008 Location
ReykjavikIceland