@misc{indiciaedcd3466a0f33,
  title = {Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic},
  author = {Adnan Rashid and Osman Hasan},
  year = {2018},
  url = {https://arxiv.org/abs/1807.07378},
  note = {Source identifier: 1807.07378}
}