Formal Verification of an energy aware routing algorithm

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	21st Nordic Workshop on Programming Theory (NWPT09)
Publisher	DTU Informatik, Danmarks Tekniske Universitet
Publication date	2009
Pages	32-34
ISBN (Print)	978-87-643-0565-4
Publication status	Published - 2009
Event	21st Nordic Workshop on Programming Theory - Lyngby, Denmark Duration: 14 Dec 2009 → 16 Dec 2009 Conference number: 21 http://www2.imm.dtu.dk/projects/nwpt09/venue.html

Workshop	21st Nordic Workshop on Programming Theory
Number	21
Country/Territory	Denmark
City	Lyngby
Period	14/12/2009 → 16/12/2009
Internet address	http://www2.imm.dtu.dk/projects/nwpt09/venue.html

OpenUrl availability

@inproceedings{ad35d4ec6d394c498a53acf14fad2e78,

title = "Formal Verification of an energy aware routing algorithm",

author = "Jakobsen, {Mikkel Koefoed} and Jan Madsen and Hansen, {Michael Reichhardt}",

year = "2009",

language = "English",

isbn = "978-87-643-0565-4",

pages = "32--34",

booktitle = "21st Nordic Workshop on Programming Theory (NWPT09)",

publisher = "DTU Informatik, Danmarks Tekniske Universitet",

note = "21st Nordic Workshop on Programming Theory, NWPT'09 ; Conference date: 14-12-2009 Through 16-12-2009",

url = "http://www2.imm.dtu.dk/projects/nwpt09/venue.html",

}

TY - GEN

T1 - Formal Verification of an energy aware routing algorithm

AU - Jakobsen, Mikkel Koefoed

AU - Madsen, Jan

AU - Hansen, Michael Reichhardt

N1 - Conference code: 21

PY - 2009

Y1 - 2009

M3 - Article in proceedings

SN - 978-87-643-0565-4

SP - 32

EP - 34

BT - 21st Nordic Workshop on Programming Theory (NWPT09)

PB - DTU Informatik, Danmarks Tekniske Universitet

T2 - 21st Nordic Workshop on Programming Theory

Y2 - 14 December 2009 through 16 December 2009

ER -