%0 Conference Paper %1 conf/ehealth/MonnichRW09 %A Mönnich, Holger %A Raczkowsky, Jörg %A Wörn, Heinz %B eHealth %D 2009 %E Kostkova, Patty %I Springer %K dblp %P 1-4 %T Model Checking for Robotic Guided Surgery. %U http://dblp.uni-trier.de/db/conf/ehealth/ehealth2009.html#MonnichRW09 %V 27 %@ 978-3-642-11744-2

@inproceedings{conf/ehealth/MonnichRW09, added-at = {2015-03-12T00:00:00.000+0100}, author = {Mönnich, Holger and Raczkowsky, Jörg and Wörn, Heinz}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2206f8c532b0fc4be06a6dec02fdbd6cf/dblp}, booktitle = {eHealth}, crossref = {conf/ehealth/2009}, editor = {Kostkova, Patty}, ee = {http://eudl.eu/doi/10.1007/978-3-642-11745-9_1}, interhash = {26226ca9c6bc4b945b24d88fa81eb2ae}, intrahash = {206f8c532b0fc4be06a6dec02fdbd6cf}, isbn = {978-3-642-11744-2}, keywords = {dblp}, pages = {1-4}, publisher = {Springer}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, timestamp = {2016-02-02T16:37:15.000+0100}, title = {Model Checking for Robotic Guided Surgery.}, url = {http://dblp.uni-trier.de/db/conf/ehealth/ehealth2009.html#MonnichRW09}, volume = 27, year = 2009 }