- CSB - MetaPress - Google - Bing - Yahoo
 | 2004 | |
|---|---|---|
| 1 |      | Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou: Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. STTT 5(4): 308-319 (2004) |
| 1 | Stephen Van Albert | [1] |
| 2 | Rajeev Alur | [1] |
| 3 | David Arney | [1] |
| 4 | Elsa L. Gunter | [1] |
| 5 | Insup Lee | [1] |
| 6 | Jaime Lee | [1] |
| 7 | Wonhong Nam | [1] |
| 8 | Frederick Pearce | [1] |