Quantitative Verification of WiMAX Traffic Shaping Solutions

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]

@inproceedings{journals-procedia-BallariniBM12,
  title = {Quantitative Verification of WiMAX Traffic Shaping Solutions},
  author = {Paolo Ballarini and Jalel Ben-Othman and Lynda Mokdad},
  year = {2012},
  doi = {10.1016/j.procs.2012.06.142},
  url = {http://dx.doi.org/10.1016/j.procs.2012.06.142},
  researchr = {https://researchr.org/publication/journals-procedia-BallariniBM12},
  cites = {0},
  citedby = {0},
  pages = {1026-1031},
  booktitle = {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},
  editor = {Elhadi Shakshuki and Muhammad Younas},
  volume = {10},
  series = {Procedia Computer Science},
  publisher = {Elsevier},
}