TY  - RPRT
TI  - Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving
AU  - Yassmeen Elderhalli
AU  - Osman Hasan
AU  - Sofiene Tahar
PY  - 2019
UR  - https://arxiv.org/abs/1910.11203
ID  - 1910.11203
ER  -