@inproceedings{GMR+13, 
author={L. Gallina and A. Marin and S. Rossi and T. Han and M. Kwiatkowska}, 
booktitle={In Proc. 16th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2013)}, 
title={A Process-Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks}, 
year={2013}, 
pages={255-262}
editor={},
organization={},
publisher={ACM],
volume={},
address={},
month={November},
note={},
key={}
}