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]
Abstract is missing.