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