@misc{indiciaeb4d5b65bddd8,
  title = {Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving},
  author = {Sa'ed Abed and Adnan Rashid and Osman Hasan},
  year = {2019},
  url = {https://arxiv.org/abs/1912.07340},
  note = {Source identifier: 1912.07340}
}