Paolo Ballarini, Jalel Ben-Othman, Lynda Mokdad. Quantitative Verification of WiMAX Traffic Shaping Solutions. In Elhadi Shakshuki, Muhammad Younas, editors, Proceedings of the 3rd International Conference on Ambient Systems, Networks and Technologies (ANT 2012), the 9th International Conference on Mobile Web Information Systems (MobiWIS-2012), Niagara Falls, Ontario, Canada, August 27-29, 2012. Volume 10 of Procedia Computer Science, pages 1026-1031, Elsevier, 2012. [doi]
Abstract is missing.