@misc{indiciae29d996acc415,
  title = {Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving},
  author = {Yassmeen Elderhalli and Osman Hasan and Sofiene Tahar},
  year = {2019},
  url = {https://arxiv.org/abs/1910.11203},
  note = {Source identifier: 1910.11203}
}