TY  - RPRT
TI  - Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving
AU  - Sa'ed Abed
AU  - Adnan Rashid
AU  - Osman Hasan
PY  - 2019
UR  - https://arxiv.org/abs/1912.07340
ID  - 1912.07340
ER  -