@incollection{c4cbook2015b,
	Author = {Bresolin, Davide and Geretti, Luca and Muradore, Riccardo and Fiorini, Paolo and Villa, Tiziano},
	Booktitle = {Coordination Control of Distributed Systems},
	Date-Added = {2015-05-11 08:43:09 +0000},
	Date-Modified = {2015-05-11 08:43:23 +0000},
	Pages = {347--355},
	Publisher = {Springer International Publishing},
	Series = {Lecture Notes in Control and Information Sciences},
	Title = {Formal Verification Applied to Robotic Surgery},
	Volume = {456},
	Year = {2015}}

{"_id":"WQnw7tNTAziLGs82F","bibbaseid":"bresolin-geretti-muradore-fiorini-villa-formalverificationappliedtoroboticsurgery-2015","author_short":["Bresolin, D.","Geretti, L.","Muradore, R.","Fiorini, P.","Villa, T."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"propositions":[],"lastnames":["Bresolin"],"firstnames":["Davide"],"suffixes":[]},{"propositions":[],"lastnames":["Geretti"],"firstnames":["Luca"],"suffixes":[]},{"propositions":[],"lastnames":["Muradore"],"firstnames":["Riccardo"],"suffixes":[]},{"propositions":[],"lastnames":["Fiorini"],"firstnames":["Paolo"],"suffixes":[]},{"propositions":[],"lastnames":["Villa"],"firstnames":["Tiziano"],"suffixes":[]}],"booktitle":"Coordination Control of Distributed Systems","date-added":"2015-05-11 08:43:09 +0000","date-modified":"2015-05-11 08:43:23 +0000","pages":"347–355","publisher":"Springer International Publishing","series":"Lecture Notes in Control and Information Sciences","title":"Formal Verification Applied to Robotic Surgery","volume":"456","year":"2015","bibtex":"@incollection{c4cbook2015b,\n\tAuthor = {Bresolin, Davide and Geretti, Luca and Muradore, Riccardo and Fiorini, Paolo and Villa, Tiziano},\n\tBooktitle = {Coordination Control of Distributed Systems},\n\tDate-Added = {2015-05-11 08:43:09 +0000},\n\tDate-Modified = {2015-05-11 08:43:23 +0000},\n\tPages = {347--355},\n\tPublisher = {Springer International Publishing},\n\tSeries = {Lecture Notes in Control and Information Sciences},\n\tTitle = {Formal Verification Applied to Robotic Surgery},\n\tVolume = {456},\n\tYear = {2015}}\n\n","author_short":["Bresolin, D.","Geretti, L.","Muradore, R.","Fiorini, P.","Villa, T."],"key":"c4cbook2015b","id":"c4cbook2015b","bibbaseid":"bresolin-geretti-muradore-fiorini-villa-formalverificationappliedtoroboticsurgery-2015","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"incollection","biburl":"https://www.math.unipd.it/~bresolin/papers/biblio-it.bib","dataSources":["S2GkQK7zrj9q2HwGy"],"keywords":[],"search_terms":["formal","verification","applied","robotic","surgery","bresolin","geretti","muradore","fiorini","villa"],"title":"Formal Verification Applied to Robotic Surgery","year":2015}