Surgical Robots: Behaviors Specification and Reasoning

Citation:
Mohammed, A., and L. Schreiter, "Surgical Robots: Behaviors Specification and Reasoning", International Journal of Computer Science Issues, vol. 13, issue 3, pp. In Press, 2016.