@misc{indiciae0e50af3d0b2c,
  title = {On the Verification of a WiMax Design Using Symbolic Simulation},
  author = {Salim Ismail Al-Akhras and Sofiène Tahar and Gabriela Nicolescu and Michel Langevin and Pierre Paulin},
  year = {2013},
  doi = {10.4204/eptcs.122.3},
  url = {https://arxiv.org/abs/1308.0209},
  note = {Source identifier: 1308.0209}
}