%0 Conference Paper %1 conf/vecos/AyubH17 %A Ayub, Muhammad Saad %A Hasan, Osman %B VECoS %D 2017 %E Barkaoui, Kamel %E Boucheneb, Hanifa %E Mili, Ali %E Tahar, Sofiène %I Springer %K dblp %P 1-16 %T Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot. %U http://dblp.uni-trier.de/db/conf/vecos/vecos2017.html#AyubH17 %V 10466 %@ 978-3-319-66176-6

@inproceedings{conf/vecos/AyubH17, added-at = {2021-04-09T00:00:00.000+0200}, author = {Ayub, Muhammad Saad and Hasan, Osman}, biburl = {https://www.bibsonomy.org/bibtex/2f6d3446dbdf15506d15d2a6cbbd20177/dblp}, booktitle = {VECoS}, crossref = {conf/vecos/2017}, editor = {Barkaoui, Kamel and Boucheneb, Hanifa and Mili, Ali and Tahar, Sofiène}, ee = {https://doi.org/10.1007/978-3-319-66176-6_1}, interhash = {c5914971e551a9695c95e5904d7bd3bd}, intrahash = {f6d3446dbdf15506d15d2a6cbbd20177}, isbn = {978-3-319-66176-6}, keywords = {dblp}, pages = {1-16}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:35:18.000+0200}, title = {Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot.}, url = {http://dblp.uni-trier.de/db/conf/vecos/vecos2017.html#AyubH17}, volume = 10466, year = 2017 }