<  Back to the Polytechnique Montréal portal

Items where Author is "Al-Akhras, Salim Ismail"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: A
Number of items: 1.


Al-Akhras, S. I., Tahar, S., Nicolescu, G., Langevin, M., & Paulin, P. (2012, December). On the verification of a WiMax design using symbolic simulation [Paper]. 4th International Symposium on Symbolic Computation in Software Science, Gammarth, Tunisia. Published in Electronic Proceedings in Theoretical Computer Science, 122. Available

List generated on: Mon Feb 26 08:32:21 2024 EST