Vol-2306⫷ Vol-2307 ⫸Vol-2308
urn:nbn:de:0074-2307-0


Vol-2307/paper32⫷Vol-2307/paper33⫸Vol-2307/preface6
Adnan RashidOsman Hasan

Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic (short paper)