%0 Conference Paper %1 conf/isola/GrosuCCCDFGGGMRS14 %A Grosu, Radu %A Cherry, Elizabeth %A Clarke, Edmund M. %A Cleaveland, Rance %A Dixit, Sanjay %A Fenton, Flavio H. %A Gao, Sicun %A Glimm, James %A Gray, Richard A. %A Mangharam, Rahul %A Ray, Arnab %A Smolka, Scott A. %B ISoLA (2) %D 2014 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K %P 356-364 %T Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. %U http://dblp.uni-trier.de/db/conf/isola/isola2014-2.html#GrosuCCCDFGGGMRS14 %V 8803 %@ 978-3-662-45230-1

@inproceedings{conf/isola/GrosuCCCDFGGGMRS14, added-at = {2023-12-13T00:49:27.000+0100}, author = {Grosu, Radu and Cherry, Elizabeth and Clarke, Edmund M. and Cleaveland, Rance and Dixit, Sanjay and Fenton, Flavio H. and Gao, Sicun and Glimm, James and Gray, Richard A. and Mangharam, Rahul and Ray, Arnab and Smolka, Scott A.}, biburl = {https://www.bibsonomy.org/bibtex/2f59df0b2eaf54c71defc23936d96ce84/admin}, booktitle = {ISoLA (2)}, crossref = {conf/isola/2014-2}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-662-45231-8_26}, interhash = {68eafabe56d743113a566db738aa4751}, intrahash = {f59df0b2eaf54c71defc23936d96ce84}, isbn = {978-3-662-45230-1}, keywords = {}, pages = {356-364}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:49:27.000+0100}, title = {Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2014-2.html#GrosuCCCDFGGGMRS14}, volume = 8803, year = 2014 }