Wilayat Khan, Muhammad Kamran, Syed Rameez Naqvi, Farrukh Aslam Khan, Ahmed S. Alghamdi, Eesa Alsolami. Formal Verification of Hardware Components in Critical Systems. Wireless Communications and Mobile Computing, 2020, 2020. [doi]
Abstract is missing.