%0 Book Section %1 series/cb/KushnerBCFMS19 %A Kushner, Taisa %A Bequette, B. Wayne %A Cameron, Faye %A Forlenza, Gregory P. %A Maahs, David M. %A Sankaranarayanan, Sriram %B Automated Reasoning for Systems Biology and Medicine %D 2019 %E Liò, Pietro %E Zuliani, Paolo %I Springer %K dblp %P 93-131 %T Models, Devices, Properties, and Verification of Artificial Pancreas Systems. %U http://dblp.uni-trier.de/db/series/cb/cb30.html#KushnerBCFMS19 %V 30 %@ 978-3-030-17297-8

@incollection{series/cb/KushnerBCFMS19, added-at = {2023-06-26T00:00:00.000+0200}, author = {Kushner, Taisa and Bequette, B. Wayne and Cameron, Faye and Forlenza, Gregory P. and Maahs, David M. and Sankaranarayanan, Sriram}, biburl = {https://www.bibsonomy.org/bibtex/2b5b83c6a42d285eb3753aed85e44f2c8/dblp}, booktitle = {Automated Reasoning for Systems Biology and Medicine}, crossref = {series/cb/30}, editor = {Liò, Pietro and Zuliani, Paolo}, ee = {https://doi.org/10.1007/978-3-030-17297-8_4}, interhash = {5ff0f75f5acd79bbffdf72caa03f6d7b}, intrahash = {b5b83c6a42d285eb3753aed85e44f2c8}, isbn = {978-3-030-17297-8}, keywords = {dblp}, pages = {93-131}, publisher = {Springer}, series = {Computational Biology}, timestamp = {2024-04-10T20:45:52.000+0200}, title = {Models, Devices, Properties, and Verification of Artificial Pancreas Systems.}, url = {http://dblp.uni-trier.de/db/series/cb/cb30.html#KushnerBCFMS19}, volume = 30, year = 2019 }