Gregory H. Chisholm

	1999
4		Gregory 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)
	1998
2		Travis 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
	1989
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

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

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page