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

M. Carmen Ruiz, Hermenegilda Maci, Jos Antonio Mateo, Francisco Javier Calleja

Browse the full ICCS paper archive.