Stylianos Georgoulas, Klaus Moessner, Bruce Mcaleer, Rahim Tafazolli. Towards efficient protocol design through protocol profiling and verification of performance and operational metrics. In Ahmed Helmy, Peter Mueller, Yan Zhang, editors, Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010, Caen, France, June 28 - July 2, 2010. pages 848-852, ACM, 2010. [doi]
Abstract is missing.