publication venue for Approximation Techniques for Stochastic Analysis of Biological Systems 2016 Models, Devices, Properties, and Verification of Artificial Pancreas Systems 2016
