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

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

720 Downloads (Pure)

Original language	English
Title of host publication	21st Nordic Workshop on Programming Theory (NWPT 2009), Lyngby, Denmark, 14-16 October 2009
Editors	Michael R. Hansen, Aske Brekling
Number of pages	8
Publisher	Technical University of Denmark (DTU)
Publication date	2009
ISBN (Print)	978-87-643-0565-4
Publication status	Published - 2009
Event	Nordic Workshop on Programming Theory, NWPT'09 - Copenhagen, Denmark Duration: 14 Oct 2009 → 16 Oct 2009 Conference number: 21

Conference

Conference	Nordic Workshop on Programming Theory, NWPT'09
Number	21
Country/Territory	Denmark
City	Copenhagen
Period	14/10/2009 → 16/10/2009

Keywords

UppAal Pro
Wireless Sensor Networks
Model Checking

Access to Document

NWPT2009Final published version, 164 KB

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@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. ed. / Michael R. Hansen; Aske Brekling. Technical University of Denmark (DTU), 2009.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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 -