Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks

M. Carmen Ruiz, Hermenegilda Macià, José Antonio Mateo, Francisco Javier Calleja. Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks. In Michelle Connolly, editor, International Conference on Computational Science 2016, ICCS 2016, 6-8 June 2016, San Diego, California, USA. Volume 80 of Procedia Computer Science, pages 1191-1201, Elsevier, 2016. [doi]

Authors

M. Carmen Ruiz

This author has not been identified. Look up 'M. Carmen Ruiz' in Google

Hermenegilda Macià

This author has not been identified. Look up 'Hermenegilda Macià' in Google

José Antonio Mateo

This author has not been identified. Look up 'José Antonio Mateo' in Google

Francisco Javier Calleja

This author has not been identified. Look up 'Francisco Javier Calleja' in Google