%0 Journal Article
%T Formal Verification of Hardware Components in Critical Systems
%A Khan, Wilayat
%A Kamran, Muhammad
%A Naqvi, Syed Rameez
%A Khan, Farrukh Aslam
%A Alghamdi, Ahmed S.
%A Alsolami, Eesa
%J Wireless Communications and Mobile Computing
%V 2020
%@ 1530-8669
%D 2020-02-20
%I Hindawi
%~ DeepDyve