Formal analysis of the biological circuits using higher-order-logic theorem proving.

Sa'ed Abed, Adnan Rashid, Osman Hasan

Browse the full SAC paper archive.