M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo. Modelling secure wireless sensor networks routing protocols with timed automata. In Blanca Caminero, Francisco Delicado, Richard Werner Nelem Pazzi, editors, Proceedings of the 3rd ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, PM2HW2N 2008, Vancouver, British Columbia, Canada, October 31, 2008. pages 51-58, ACM, 2008. [doi]
@inproceedings{TobarraCCP08,
title = {Modelling secure wireless sensor networks routing protocols with timed automata},
author = {M. Llanos Tobarra and Diego Cazorla and Fernando Cuartero and Juan José Pardo},
year = {2008},
doi = {10.1145/1454630.1454638},
url = {http://doi.acm.org/10.1145/1454630.1454638},
tags = {protocol, wireless sensor networks, routing},
researchr = {https://researchr.org/publication/TobarraCCP08},
cites = {0},
citedby = {0},
pages = {51-58},
booktitle = {Proceedings of the 3rd ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, PM2HW2N 2008, Vancouver, British Columbia, Canada, October 31, 2008},
editor = {Blanca Caminero and Francisco Delicado and Richard Werner Nelem Pazzi},
publisher = {ACM},
isbn = {978-1-60558-239-9},
}