@InProceedings{BBOM12,
author={Paolo Ballarini and Jalel Ben-Othman and Lynda Mokdad},
title={Quantitative Verification of {WiMAX} Traffic Shaping Solutions},
booktitle={Proc. 7th International Symposium on Intelligent System Techniques for Ad hoc and Wireless Sensor Networks (IST-AWSN)},
year={2012},

editors={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}