Stephen Van Albert

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

Coauthor Index

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