Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving. - Abed, Sa'ed; Rashid, Adnan; Hasan, Osman (CoRR, 2019)