%0 Conference Paper %1 conf/springsim/MashkoorS16 %A Mashkoor, Atif %A Sametinger, Johannes %B SpringSim (MSM) %D 2016 %E Rozenblit, Jerzy W. %E Sametinger, Johannes %I ACM %K dblp %P 5 %T Rigorous modeling and analysis of interoperable medical devices. %U http://dblp.uni-trier.de/db/conf/springsim/springsim2016-6.html#MashkoorS16 %@ 978-1-5108-2320-4

@inproceedings{conf/springsim/MashkoorS16, added-at = {2016-12-12T00:00:00.000+0100}, author = {Mashkoor, Atif and Sametinger, Johannes}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d6d4d658736c6a9d18705275791cecf6/dblp}, booktitle = {SpringSim (MSM)}, crossref = {conf/springsim/2016-6}, editor = {Rozenblit, Jerzy W. and Sametinger, Johannes}, ee = {http://dl.acm.org/citation.cfm?id=2962683}, interhash = {a9fe651e14a8e7a687e3f84459a48312}, intrahash = {d6d4d658736c6a9d18705275791cecf6}, isbn = {978-1-5108-2320-4}, keywords = {dblp}, pages = 5, publisher = {ACM}, timestamp = {2016-12-13T10:33:36.000+0100}, title = {Rigorous modeling and analysis of interoperable medical devices.}, url = {http://dblp.uni-trier.de/db/conf/springsim/springsim2016-6.html#MashkoorS16}, year = 2016 }