Gregory H. Chisholm

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

4EEGregory H. Chisholm, Steven T. Eckmann, Christopher M. Lain, Robert Veroff: Understanding Integrated Circuits. IEEE Design & Test of Computers 16(2): 26-37 (1999)
3 Gregory H. Chisholm, Anthony S. Wojcik: An Application of Formal Analysis to Software in a Fault-Tolerant Environment. IEEE Trans. Computers 48(10): 1053-1064 (1999)
2EETravis E. Doom, Jennifer L. White, Anthony S. Wojcik, Gregory H. Chisholm: Identifying High-Level Components in Combinational Circuits. Great Lakes Symposium on VLSI 1998: 313-318
1 Gregory H. Chisholm, Brian T. Smith, Anthony S. Wojcik: An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods. J. Autom. Reasoning 5(4): 533-540 (1989)

Coauthor Index

1Travis E. Doom [2]
2Steven T. Eckmann [4]
3Christopher M. Lain [4]
4Brian T. Smith [1]
5Robert Veroff [4]
6Jennifer L. White [2]
7Anthony S. Wojcik [1] [2] [3]

Colors in the list of coauthors

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