Frederick Pearce Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. Purushothaman Iyer, David Hislop, Paul L. Jones, Jaime Lee, Frederick Pearce, Stephen Van Albert: Introductory paper. STTT 5(4): 299-300 (2004)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev 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]
9Jaime Lee [1] [2]
10Wonhong Nam [1]
11Jiaxiang Zhou [1]

Copyright © Fri Nov 13 21:28:18 2009 by Michael Ley (ley@uni-trier.de)