%0 Journal Article %1 journals/mam/BresolinGMFV15 %A Bresolin, Davide %A Geretti, Luca %A Muradore, Riccardo %A Fiorini, Paolo %A Villa, Tiziano %D 2015 %J Microprocess. Microsystems %K dblp %N 8 %P 836-842 %T Formal verification of robotic surgery tasks by reachability analysis. %U http://dblp.uni-trier.de/db/journals/mam/mam39.html#BresolinGMFV15 %V 39

@article{journals/mam/BresolinGMFV15, added-at = {2022-12-07T00:00:00.000+0100}, author = {Bresolin, Davide and Geretti, Luca and Muradore, Riccardo and Fiorini, Paolo and Villa, Tiziano}, biburl = {https://www.bibsonomy.org/bibtex/2076187055b611307b58aed24ad2391c0/dblp}, ee = {https://doi.org/10.1016/j.micpro.2015.10.006}, interhash = {df2a0c41fe5f654c0a7e7e0688363744}, intrahash = {076187055b611307b58aed24ad2391c0}, journal = {Microprocess. Microsystems}, keywords = {dblp}, number = 8, pages = {836-842}, timestamp = {2024-04-08T19:07:10.000+0200}, title = {Formal verification of robotic surgery tasks by reachability analysis.}, url = {http://dblp.uni-trier.de/db/journals/mam/mam39.html#BresolinGMFV15}, volume = 39, year = 2015 }