Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light
Crossref DOI link: https://doi.org/10.1007/s00165-020-00514-3
Published Print: 2020-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Rashid, Adnan http://orcid.org/0000-0002-9729-584X
Hasan, Osman
Text and Data Mining valid from 2020-07-01
Version of Record valid from 2020-07-01
Article History
Received: 29 April 2019
Accepted: 5 May 2020
First Online: 22 June 2020