TY  - RPRT
TI  - On the Verification of a WiMax Design Using Symbolic Simulation
AU  - Salim Ismail Al-Akhras
AU  - Sofiène Tahar
AU  - Gabriela Nicolescu
AU  - Michel Langevin
AU  - Pierre Paulin
PY  - 2013
DO  - 10.4204/eptcs.122.3
UR  - https://arxiv.org/abs/1308.0209
ID  - 1308.0209
ER  -