@dblp

Model Checking for Robotic Guided Surgery.

, , and . eHealth, volume 27 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 1-4. Springer, (2009)

Links and resources

Tags