@misc{indiciae658fcddc6535,
  title = {Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving},
  author = {Shahid Ali Murtza and Waqar Ahmed and Adnan Rashid and Osman Hasan},
  year = {2021},
  url = {https://arxiv.org/abs/2112.12976},
  note = {Source identifier: 2112.12976}
}