dblp.uni-trier.dewww.uni-trier.de

Jaime Lee

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
2EES. Purushothaman Iyer, David Hislop, Paul L. Jones, Jaime Lee, Frederick Pearce, Stephen Van Albert: Introductory paper. STTT 5(4): 299-300 (2004)
1EERajeev 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)

Coauthor Index

1Stephen Van Albert [1] [2]
2Rajeev Alur [1]
3David Arney [1]
4Elsa L. Gunter [1]
5David Hislop [2]
6S. Purushothaman Iyer (S. Purushothaman) [2]
7Paul L. Jones [2]
8Insup Lee [1]
9Wonhong Nam [1]
10Frederick Pearce [1] [2]
11Jiaxiang Zhou [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)