@inproceedings{MSZ07,
title = {Worst-case lifetime computation of a Wireless Sensor Network by model-checking },
author = {Mounier, Laurent and Samper, Ludovic and Znaidi, Wassim},
month = {October},
year = {2007},
booktitle = {Fourth ACM Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks (PE-WASUN)},
address = {Chania, Greece},
team = {DCS,PACSS},
}
