Formal Specification & Analysis of Performance Variation in Sensor Network Diffusion Protocols

Rachel Cardell-Oliver; Sule Nair

Formal Specification & Analysis of Performance Variation in Sensor Network Diffusion Protocols

Graduate Research School

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings of the 7th ACM Symposium on Modelling, Analysis & Simulation of Wireless & Mobile Systems
Editors	Simonetta Balsamo, Carla-Fabiana Chiasserini, Lorenzo Donatiello
Place of Publication	New York, USA
Publisher	Association for Computing Machinery (ACM)
Pages	170-173
Volume	1
Edition	Venice, Italy
ISBN (Print)	1581139535
Publication status	Published - 2004
Event	Formal Specification & Analysis of Performance Variation in Sensor Network Diffusion Protocols - Venice, Italy Duration: 1 Jan 2004 → …

Conference

Conference	Formal Specification & Analysis of Performance Variation in Sensor Network Diffusion Protocols
Period	1/01/04 → …

Cite this

Cardell-Oliver, R., & Nair, S. (2004). Formal Specification & Analysis of Performance Variation in Sensor Network Diffusion Protocols. In S. Balsamo, C-F. Chiasserini, & L. Donatiello (Eds.), Proceedings of the 7th ACM Symposium on Modelling, Analysis & Simulation of Wireless & Mobile Systems (Venice, Italy ed., Vol. 1, pp. 170-173). Association for Computing Machinery (ACM).

Cardell-Oliver, Rachel ; Nair, Sule. / Formal Specification & Analysis of Performance Variation in Sensor Network Diffusion Protocols. Proceedings of the 7th ACM Symposium on Modelling, Analysis & Simulation of Wireless & Mobile Systems. editor / Simonetta Balsamo ; Carla-Fabiana Chiasserini ; Lorenzo Donatiello. Vol. 1 Venice, Italy. ed. New York, USA : Association for Computing Machinery (ACM), 2004. pp. 170-173

@inproceedings{2fb95f505363487f9f01bf4790372007,

title = "Formal Specification & Analysis of Performance Variation in Sensor Network Diffusion Protocols",

author = "Rachel Cardell-Oliver and Sule Nair",

year = "2004",

language = "English",

isbn = "1581139535",

volume = "1",

pages = "170--173",

editor = "Simonetta Balsamo and Carla-Fabiana Chiasserini and Lorenzo Donatiello",

booktitle = "Proceedings of the 7th ACM Symposium on Modelling, Analysis & Simulation of Wireless & Mobile Systems",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

edition = "Venice, Italy",

note = "Formal Specification & Analysis of Performance Variation in Sensor Network Diffusion Protocols ; Conference date: 01-01-2004",

}

Cardell-Oliver, R & Nair, S 2004, Formal Specification & Analysis of Performance Variation in Sensor Network Diffusion Protocols. in S Balsamo, C-F Chiasserini & L Donatiello (eds), Proceedings of the 7th ACM Symposium on Modelling, Analysis & Simulation of Wireless & Mobile Systems. Venice, Italy edn, vol. 1, Association for Computing Machinery (ACM), New York, USA, pp. 170-173, Formal Specification & Analysis of Performance Variation in Sensor Network Diffusion Protocols, 1/01/04.

Formal Specification & Analysis of Performance Variation in Sensor Network Diffusion Protocols. / Cardell-Oliver, Rachel; Nair, Sule.

Proceedings of the 7th ACM Symposium on Modelling, Analysis & Simulation of Wireless & Mobile Systems. ed. / Simonetta Balsamo; Carla-Fabiana Chiasserini; Lorenzo Donatiello. Vol. 1 Venice, Italy. ed. New York, USA : Association for Computing Machinery (ACM), 2004. p. 170-173.

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

TY - GEN

T1 - Formal Specification & Analysis of Performance Variation in Sensor Network Diffusion Protocols

AU - Cardell-Oliver, Rachel

AU - Nair, Sule

PY - 2004

Y1 - 2004

M3 - Conference paper

SN - 1581139535

VL - 1

SP - 170

EP - 173

BT - Proceedings of the 7th ACM Symposium on Modelling, Analysis & Simulation of Wireless & Mobile Systems

A2 - Balsamo, Simonetta

A2 - Chiasserini, Carla-Fabiana

A2 - Donatiello, Lorenzo

PB - Association for Computing Machinery (ACM)

CY - New York, USA

T2 - Formal Specification & Analysis of Performance Variation in Sensor Network Diffusion Protocols

Y2 - 1 January 2004

ER -

Cardell-Oliver R, Nair S. Formal Specification & Analysis of Performance Variation in Sensor Network Diffusion Protocols. In Balsamo S, Chiasserini C-F, Donatiello L, editors, Proceedings of the 7th ACM Symposium on Modelling, Analysis & Simulation of Wireless & Mobile Systems. Venice, Italy ed. Vol. 1. New York, USA: Association for Computing Machinery (ACM). 2004. p. 170-173