Visible to the public Biblio

Filters: Author is O'Kelly, Matthew  [Clear All Filters]
2018-05-23
Chen, Sanjian, O'Kelly, Matthew, Weimer, James, Sokolsky, Oleg, Lee, Insup.  2015.  An Intraoperative Glucose Control Benchmark for Formal Verification. IFAC-PapersOnLine. 48:211–217.