%0 Conference Paper %1 conf/cpsweek/ChenDS17 %A Chen, Xin %A Dutta, Souradeep %A Sankaranarayanan, Sriram %B ARCH@CPSWeek %D 2017 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 75-91 %T Formal Verification of a Multi-Basal Insulin Infusion Control Model. %U http://dblp.uni-trier.de/db/conf/cpsweek/arch2017.html#ChenDS17 %V 48

@inproceedings{conf/cpsweek/ChenDS17, added-at = {2019-09-06T00:00:00.000+0200}, author = {Chen, Xin and Dutta, Souradeep and Sankaranarayanan, Sriram}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22181b23dfc976697c3337277d512b116/dblp}, booktitle = {ARCH@CPSWeek}, crossref = {conf/cpsweek/2017arch}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {http://www.easychair.org/publications/paper/342732}, interhash = {e0ad7151dad62e67298a420f2b314144}, intrahash = {2181b23dfc976697c3337277d512b116}, keywords = {dblp}, pages = {75-91}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2019-09-27T19:21:53.000+0200}, title = {Formal Verification of a Multi-Basal Insulin Infusion Control Model.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/arch2017.html#ChenDS17}, volume = 48, year = 2017 }