TY  - RPRT
TI  - Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving
AU  - Shahid Ali Murtza
AU  - Waqar Ahmed
AU  - Adnan Rashid
AU  - Osman Hasan
PY  - 2021
UR  - https://arxiv.org/abs/2112.12976
ID  - 2112.12976
ER  -