Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid. Towards the Formal Performance Analysis of Wireless Sensor Networks. In Sumitra Reddy, Mohamed Jmaiel, editors, 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, Hammamet, Tunisia, June 17-20, 2013. pages 365-370, IEEE, 2013. [doi]
Abstract is missing.