Joseph Kljaich Jr.

	1989
2		Joseph Kljaich Jr., Brian T. Smith, Anthony S. Wojcik: Formal Verification of Fault Tolerance Using Theorem-Proving Techniques. IEEE Trans. Computers 38(3): 366-376 (1989)
	1984
1		Anthony S. Wojcik, Joseph Kljaich Jr., Nagendra C. E. Srinivas: A formal design verification system based on an automated reasoning system. DAC 1984: 641-647

Coauthor Index

1	Brian T. Smith	[2]
2	Nagendra C. E. Srinivas	[1]
3	Anthony S. Wojcik	[1] [2]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page