Analysis of collisions in wireless sensor networks

Muhammad Saleem Vighio; Anders Peter Ravn

Analysis of collisions in wireless sensor networks

Muhammad Saleem Vighio, Anders Peter Ravn

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

720 Downloads (Pure)

Originalsprog	Engelsk
Titel	21st Nordic Workshop on Programming Theory (NWPT 2009), Lyngby, Denmark, 14-16 October 2009
Redaktører	Michael R. Hansen, Aske Brekling
Antal sider	8
Forlag	Technical University of Denmark (DTU)
Publikationsdato	2009
ISBN (Trykt)	978-87-643-0565-4
Status	Udgivet - 2009
Begivenhed	Nordic Workshop on Programming Theory, NWPT'09 - Copenhagen, Danmark Varighed: 14 okt. 2009 → 16 okt. 2009 Konferencens nummer: 21

Konference

Konference	Nordic Workshop on Programming Theory, NWPT'09
Nummer	21
Land/Område	Danmark
By	Copenhagen
Periode	14/10/2009 → 16/10/2009

Adgang til dokumentet

NWPT2009Forlagets udgivne version, 164 KB

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{eab98370bd6011debd73000ea68e967b,

title = "Analysis of collisions in wireless sensor networks",

keywords = "UppAal Pro, Wireless Sensor Networks, Model Checking",

author = "Vighio, {Muhammad Saleem} and Ravn, {Anders Peter}",

year = "2009",

language = "English",

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

editor = "Hansen, {Michael R.} and Aske Brekling",

booktitle = "21st Nordic Workshop on Programming Theory (NWPT 2009), Lyngby, Denmark, 14-16 October 2009",

publisher = "Technical University of Denmark (DTU)",

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

}

Analysis of collisions in wireless sensor networks. / Vighio, Muhammad Saleem; Ravn, Anders Peter.
21st Nordic Workshop on Programming Theory (NWPT 2009), Lyngby, Denmark, 14-16 October 2009. red. / Michael R. Hansen; Aske Brekling. Technical University of Denmark (DTU), 2009.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - Analysis of collisions in wireless sensor networks

AU - Vighio, Muhammad Saleem

AU - Ravn, Anders Peter

N1 - Conference code: 21

PY - 2009

Y1 - 2009

KW - UppAal Pro

KW - Wireless Sensor Networks

KW - Model Checking

M3 - Article in proceeding

SN - 978-87-643-0565-4

BT - 21st Nordic Workshop on Programming Theory (NWPT 2009), Lyngby, Denmark, 14-16 October 2009

A2 - Hansen, Michael R.

A2 - Brekling, Aske

PB - Technical University of Denmark (DTU)

T2 - Nordic Workshop on Programming Theory, NWPT'09

Y2 - 14 October 2009 through 16 October 2009

ER -